2152 search results - page 27 / 431 » On Automating the Calculus of Relations |
73
Voted
GIS
2007
ACM
15 years 14 days ago
2007
ACM
83
Voted
TIME
1998
IEEE
15 years 4 months 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....
103
Voted
LICS
1989
IEEE
15 years 4 months 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...
84
Voted
CSL
2002
Springer
15 years 10 days 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
115
Voted
LACL
1998
Springer
15 years 4 months 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...