Monadic Chain Logic Over Iterations and Applications to Pushdown Systems
暂无分享,去创建一个
[1] Rajeev Alur,et al. Analysis of recursive state machines , 2001, TOPL.
[2] Saharon Shelah,et al. Interpreting Second-Order Logic in the Monadic Theory of Order , 1983, J. Symb. Log..
[3] Stephan Kreutzer,et al. An Extension of Muchnik's Theorem , 2005, J. Log. Comput..
[4] Javier Esparza,et al. Model-Checking LTL with Regular Valuations for Pushdown Systems , 2001, TACS.
[5] Bruno Courcelle,et al. Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems , 1998, Ann. Pure Appl. Log..
[6] Javier Esparza,et al. Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems , 2006, J. Satisf. Boolean Model. Comput..
[7] M. Rabin. Decidability of second-order theories and automata on infinite trees , 1968 .
[8] Dietmar Berwanger,et al. The Monadic Theory of Tree-like Structures , 2001, Automata, Logics, and Infinite Games.
[9] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.
[10] Didier Caucal. On the Transition Graphs of Turing Machines , 2001, MCU.
[11] Alexei L. Semenov,et al. Decidability of Monadic Theories , 1984, MFCS.
[12] Igor Walukiewicz. Monadic second-order logic on tree-like structures , 2002, Theor. Comput. Sci..
[13] Saharon Shelah,et al. Rabin's uniformization problem , 1983, Journal of Symbolic Logic.
[14] S. Shelah. The monadic theory of order , 1975, 2305.00968.
[15] Thomas Schwentick. On Diving in Trees , 2000, MFCS.
[16] Anil Nerode,et al. Automatic Presentations of Structures , 1994, LCC.
[17] Arnaud Carayol,et al. The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata , 2003, FSTTCS.
[18] Thomas Schwentick,et al. Expressive and efficient pattern languages for tree-structured data (extended abstract) , 2000, PODS '00.
[19] M. Rabin. Automata on Infinite Objects and Church's Problem , 1972 .
[20] Orna Kupferman,et al. An Automata-Theoretic Approach to Reasoning about Infinite-State Systems , 2000, CAV.
[21] Jean-Eric Pin,et al. Infinite words - automata, semigroups, logic and games , 2004, Pure and applied mathematics series.
[22] Rasmus Ejlers Møgelberg,et al. Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science , 2007 .
[23] Wolfgang Thomas. On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees , 1987, LICS.
[24] Markus Lohrey,et al. Logical Aspects of Cayley-graphs: the Monoid Case , 2006, Int. J. Algebra Comput..
[25] Igor Walukiewicz,et al. Pushdown Processes: Games and Model-Checking , 1996, Inf. Comput..
[26] Wolfgang Thomas,et al. Model Checking Synchronized Products of Infinite Transition Systems , 2004, LICS.