Contributions to Books:
T. Eiter, G. Gottlob, T. Schwentick:
"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey";
in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday",
A. Blass, N Dershowitz, W. Reisig (ed.);
Springer LNCS,
Heidelberg (LNCS 6300),
2010, (invited),
ISSN: 0302-9743,
227
- 250.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-15025-8_13
Created from the Publication Database of the Vienna University of Technology.