ML Anthology

Rêgo, Leandro Chaves

1 publications

IJCAI 2007 Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic Joseph Y. Halpern, Leandro Chaves Rêgo