文章基本信息
- 标题：Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
- 本地全文：下载
- 作者：Bruno Courcelle ; Igor Walukiewicz
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：1995
- 卷号：2
- 期号：44
- 出版社：Aarhus University
- 摘要：We prove that every monadic second-order property of the unfolding of a transition system is a monadic second-order property of the system itself. We prove a similar result for certain graph coverings.
