The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic

Bibliografiske detaljer
Main Authors: Eiter, T, Gottlob, G
Format: Conference item
Udgivet: Springer 1997