497 search results - page 1 / 100 » On combinations of local theory extensions |
97
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
107
Voted
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
CADE
2006
Springer
15 years 1 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 ...
DAGSTUHL
2007
14 years 11 months ago
2007
CADE
2005
Springer
15 years 3 months ago
2005
Springer