2152 search results - page 15 / 431 » On Automating the Calculus of Relations |
GEOS
2005
Springer
14 years 27 days ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
CSL
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper investigates a non-commutative first-order sequent calculus NCLK. For that, this paper extends a non-commutative positive fragment to a full first-order sequ...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
CADE
2009
Springer
14 years 2 months ago
2009
Springer
CSL
2009
Springer
14 years 1 months ago
2009
Springer
