CADE
2001
Springer
14 years 2 months ago
2001
Springer
CADE
2006
Springer
14 years 2 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 ...
CADE
2006
Springer
14 years 2 months ago
2006
Springer
CADE
2006
Springer
14 years 2 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...
CADE
2006
Springer
14 years 2 months ago
2006
Springer
CADE
2006
Springer
14 years 2 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...
CADE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
REX
1990
14 years 2 months ago
1990
REX
1990
14 years 2 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...