1814 search results - page 230 / 363 » Extended First-Order Logic |
114
Voted
SAS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
107
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
127
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
100
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
We make the notion of scope in the -calculus explicit. To that end, the syntax of the -calculus is extended with an end-of-scope operator , matching the usual opening of a scope du...
146
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...