Monadic Second Order Logic on Graphs with Local Cardinality Constraints

Abstract

Full Citation:

Stefan Szeider. Monadic Second Order Logic on Graphs with Local Cardinality Constraints. ACM Transactions on Computational Logic, volume 12, number 2, pages article 12, 2011.

Stefan Szeider

Head of Research Unit

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