2152 search results - page 112 / 431 » On Automating the Calculus of Relations |
94
Voted
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
109
click to vote
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
82
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...
113
click to vote
AIML
1998
15 years 2 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
82
Voted
AAAI
1990
15 years 1 months ago
1990
Ladkin and Maddux [LaMa87] showed how to interpret the calculus of time intervals defined by Allen [AZ2831 in terms of representations of a particular relation algebra, and proved...