12 search results - page 1 / 3 » On the Role of Shared Randomness in Two Prover Proof Systems |
ISTCS
1995
Springer
15 years 7 months ago
1995
Springer
113
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
136
Voted
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
124
Voted
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
149
Voted
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...