CADE
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
93
Voted
CADE
2006
Springer
15 years 4 months ago
2006
Springer
102
Voted
CADE
2006
Springer
15 years 4 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
89
Voted
CADE
2006
Springer
15 years 4 months ago
2006
Springer
112
click to vote
CADE
2006
Springer
15 years 4 months ago
2006
Springer
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
106
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
96
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
112
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
96
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
87
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...