Zeitschriftenartikel:
St. Szeider:
"Monadic Second Order Logic on Graphs with Local Cardinality Constraints";
ACM Transactions on Computational Logic,
12
(2011),
2;
S. 12:1
- 12:21.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/1877714.1877718
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_200946.pdf
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.