Monadic second-order logic, graph coverings and unfoldings of transition systems
Under an Elsevier user license
open archive
Keywords
Second-order logic
Rabin automaton
Infinite tree
Semantics
Transition Systems
Graph covering
MSC
68Q55
MSC
03C80
03C85
Cited by (0)
- 1
Partially supported by Polish KBN grant No. 2 P301 009 06. Part of this work was done at Basic Research in Computer Science, Centre of the Danish National Research Foundation.
Copyright © 1998 Published by Elsevier B.V.