Monadic Second Order Logic on Graphs with Local Cardinality Constraints (bibtex)
by
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},
}