暂无分享,去创建一个
[1] Markus Lohrey,et al. Logical Aspects of Cayley-graphs: the Monoid Case , 2006, Int. J. Algebra Comput..
[2] Detlef Seese,et al. The Structure of Models of Decidable Monadic Theories of Graphs , 1991, Ann. Pure Appl. Log..
[3] Y. Gurevich. On Finite Model Theory , 1990 .
[4] S. Shelah. The monadic theory of order , 1975, 2305.00968.
[5] Christof Löding,et al. Transforming structures by set interpretations , 2007, Log. Methods Comput. Sci..
[6] Wolfgang Thomas. On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees , 1987, LICS.
[7] M. Rabin. Automata on Infinite Objects and Church's Problem , 1972 .
[8] Alexis Bès. An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet , 2008, Log. Methods Comput. Sci..
[9] Stephan Kreutzer,et al. An Extension of Muchnik's Theorem , 2005, J. Log. Comput..
[10] Bruno Courcelle,et al. Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems , 1998, Ann. Pure Appl. Log..
[11] M. Rabin. Decidability of second-order theories and automata on infinite trees , 1968 .
[12] Didier Caucal. On Infinite Terms Having a Decidable Monadic Theory , 2002, MFCS.
[13] Saharon Shelah,et al. Rabin's uniformization problem , 1983, Journal of Symbolic Logic.
[14] Alexei L. Semenov,et al. Decidability of Monadic Theories , 1984, MFCS.
[15] S. Feferman,et al. The first order properties of products of algebraic systems , 1959 .
[16] Igor Walukiewicz,et al. Monadic Second Order Logic on Tree-Like Structures , 1996, STACS.
[17] Bruno Courcelle,et al. Monadic Second-Order Definable Graph Transductions: A Survey , 1994, Theor. Comput. Sci..
[18] Markus Lohrey,et al. Monadic Chain Logic Over Iterations and Applications to Pushdown Systems , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).