[Back]


Publications in Scientific Journals:
R. Baumgartner, G. Gottlob:
"Propositional Default Logics Made Easier: Computational Complexity of Model Checking";
Theoretical Computer Science, 289 (2002), 591 - 627.

Created from the Publication Database of the Vienna University of Technology.