Monadic Second Order Logic on Graphs with Local Cardinality Constraints

Stefan Szeider
January 2008
bib

Abstract

Full Citation:

Stefan Szeider. Monadic Second Order Logic on Graphs with Local Cardinality Constraints. Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, volume 5162 of Lecture Notes in Computer Science, pages 601-612, 2008, Springer Verlag.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.