208 search results - page 2 / 42 » Numeration Systems: A Link between Number Theory and Formal ... |
AISC
1998
Springer
13 years 9 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ICFCA
2004
Springer
13 years 10 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
FROCOS
2009
Springer
13 years 9 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
IFIP
2000
Springer
13 years 8 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...