Monadic Second Order Logic on Graphs with Local Cardinality Constraints

Szeider, Stefan

by Stefan Szeider

Reference:

Monadic Second Order Logic on Graphs with Local Cardinality ConstraintsStefan SzeiderMathematical 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.

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{Szeider08,
  author = 	 {Stefan Szeider},
  title = 	 {Monadic Second Order Logic on Graphs with Local Cardinality
  Constraints},
  booktitle     = {Mathematical Foundations of Computer Science 2008, 33rd
               International Symposium, MFCS 2008, Torun, Poland, August
               25-29, 2008, Proceedings},
  publisher = Springer,
  series    = LNCS,
  volume    = {5162},
  pages     = {601-612},
  year      = {2008},
}