Mona: Monadic Second-Order Logic in Practice
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm
Mona: Monadic Second-Order Logic in Practice
TACAS, 1995.

TACAS 1995
Full names Links ISxN
	author        = "Jesper G. Henriksen and Jakob L. Jensen and Michael E. Jørgensen and Nils Klarlund and Robert Paige and Theis Rauhe and Anders Sandholm",
	booktitle     = "{Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
	doi           = "10.1007/3-540-60630-0_5",
	isbn          = "3-540-60630-0",
	pages         = "89--110",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Mona: Monadic Second-Order Logic in Practice}",
	volume        = 1019,
	year          = 1995,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.