PSPACE Is Provable by Two Provers in One Round.

Jin-yi Cai Anne Condon Richard J. Lipton

Published in: J. Comput. Syst. Sci. (1994)

Keyphrases

theorem prover
theorem proving
decision procedures
complexity bounds
temporal logic
mazurkiewicz traces
knowledge base
genetic algorithm
data structure
data model