2152 search results - page 15 / 431 » On Automating the Calculus of Relations |
97
Voted
GEOS
2005
Springer
15 years 6 months 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...
63
Voted
CSL
2009
Springer
15 years 7 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...
123
Voted
ASIAN
2006
Springer
15 years 4 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
15 years 7 months ago
2009
Springer
62
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
