2272 search results - page 193 / 455 » A Calculus for |
151
Voted
AAAI
1994
15 years 5 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
ENTCS
2006
15 years 4 months ago
2006
The -calculus is destructive: its main computational mechanism
150
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
127
click to vote
TCS
2008
15 years 4 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
121
Voted
CSL
2002
Springer
15 years 4 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