Skip to main content

NP Trees and Carnap's Modal Logic

Georg Gottlob

Journal
J. ACM
Number
2
Pages
421−457
Volume
42
Year
1995