3333 search results - page 76 / 667 » Abstract Proof Search |
122
Voted
SLP
1993
15 years 4 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
145
click to vote
AGP
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
119
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
An important challenge within hyper-heuristic research is to design search methodologies that work well, not only across different instances of the same problem, but also across di...
228
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
134
Voted
ESOP
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...