NP Trees and Carnap's Modal Logic
Georg Gottlob
Book Title
34th Annual Symposium on Foundations of Computer Science‚ 3−5 November 1993‚ Palo Alto‚ California‚ USA
Pages
42−51
Publisher
IEEE
Year
1993
Georg Gottlob