136 search results - page 3 / 28 » Extending the Resolution Method with Sorts |
JELIA
2004
Springer
13 years 11 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
IFIPTCS
2010
13 years 3 months ago
2010
We present a restriction of Resolution modulo where the rewrite rules are such that clauses rewrite to clauses, so that the reduct of a clause needs not be further transformed into...
EACL
1989
ACL Anthology
13 years 7 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
WRLA
2010
13 years 4 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
IQIS
2004
ACM
13 years 11 months ago
2004
ACM
A virtual database system is software that provides unified access to multiple information sources. If the sources are overlapping in their contents and independently maintained,...