Login / Signup

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.

Joseph Y. HalpernLeandro Chaves Rêgo
Published in: J. Log. Comput. (2007)
Keyphrases