6 search results - page 2 / 2 » Eliminating Branches using a Superoptimizer and the GNU C Co... |
AGP
1995
IEEE
15 years 1 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...