2152 search results - page 27 / 431 » On Automating the Calculus of Relations |
GIS
2007
ACM
13 years 8 months ago
2007
ACM
TIME
1998
IEEE
14 years 22 days ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
LICS
1989
IEEE
14 years 16 days ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
CSL
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
LACL
1998
Springer
14 years 21 days ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...