Publications in Scientific Journals:
St. Szeider:
"Monadic Second Order Logic on Graphs with Local Cardinality Constraints";
ACM Transactions on Computational Logic,
12
(2011),
2;
12:1
- 12:21.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/1877714.1877718
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_200946.pdf
Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Created from the Publication Database of the Vienna University of Technology.