Monadic Second Order Logic on Graphs with Local Cardinality Constraints

Szeider, Stefan

doi:10.1145/1877714.1877718

by Stefan Szeider

Reference:

Monadic Second Order Logic on Graphs with Local Cardinality ConstraintsStefan SzeiderACM Transactions on Computational Logic, volume 12, number 2, pages article 12, 2011.

Bibtex Entry:

@string{acmtcl="ACM Transactions on Computational Logic"}
@article{Szeider11,
  author = 	 {Stefan Szeider},
  title = 	 {Monadic Second Order Logic on Graphs 
                  with Local Cardinality   Constraints},
  journal    =   ACMTCL,
  year = 	 {2011},
  volume = 	 {12},
  number = 	 {2},
  pages = 	 {article 12},
  doi = {10.1145/1877714.1877718},
}