The Horn mu-calculus
暂无分享,去创建一个
Andreas Podelski | Witold Charatonik | Igor Walukiewicz | David A. McAllester | Damian Niwinski | A. Podelski | Witold Charatonik | D. Niwinski | I. Walukiewicz
[1] J. R. Büchi. Regular Canonical Systems , 1964 .
[2] John C. Reynolds,et al. Automatic computation of data set definitions , 1968, IFIP Congress.
[3] Neil D. Jones,et al. Flow analysis and optimization of LISP-like structures , 1979, POPL.
[4] Andrzej Wlodzimierz Mostowski,et al. Regular expressions for infinite trees and a standard form of automata , 1984, Symposium on Computation Theory.
[5] David E. Muller,et al. The Theory of Ends, Pushdown Automata, and Second-Order Logic , 1985, Theor. Comput. Sci..
[6] Damian Niwinski,et al. Fixed points vs. infinite generation , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[7] Joxan Jaffar,et al. A finite presentation theorem for approximating logic programs , 1989, POPL '90.
[8] Thom W. Frühwirth,et al. Logic programs as types for logic programs , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[9] E. Allen Emerson,et al. Tree automata, mu-calculus and determinacy , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.
[10] S. Purushothaman Iyer,et al. Empty Stack Pushdown Omega-Tree Automata , 1992, CAAP.
[11] Robert McNaughton,et al. Infinite Games Played on Finite Graphs , 1993, Ann. Pure Appl. Logic.
[12] Pierre Wolper,et al. An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) , 1994, CAV.
[13] David Harel,et al. Deciding Emptiness for Stack Automata on Infinite Trees , 1994, Inf. Comput..
[14] Faron Moller,et al. A polynomial-time algorithm for deciding equivalence of normed context-free processes , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
[15] David E. Muller,et al. Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra , 1995, Theor. Comput. Sci..
[16] Bernhard Steffen,et al. Composition, Decomposition and Model Checking of Pushdown Processes , 1995, Nord. J. Comput..
[17] Igor Walukiewicz,et al. Pushdown Processes: Games and Model-Checking , 1996, Inf. Comput..
[18] Pierre Wolper,et al. A direct symbolic approach to model checking pushdown systems , 1997, INFINITY.
[19] Wolfgang Thomas,et al. Languages, Automata, and Logic , 1997, Handbook of Formal Languages.
[20] Jean-Marc Talbot,et al. Solving Classes of Set Constraints with Tree Automata , 1997, CP.
[21] Damian Niwinski,et al. Fixed Point Characterization of Infinite Behavior of Finite-State Systems , 1997, Theor. Comput. Sci..
[22] Javier Esparza,et al. Reachability Analysis of Pushdown Automata: Application to Model-Checking , 1997, CONCUR.
[23] Wieslaw Zielonka,et al. Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees , 1998, Theor. Comput. Sci..
[24] Hans Hüttel,et al. Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes , 1998, J. Log. Comput..
[25] Andreas Podelski,et al. Set-Based Analysis of Reactive Infinite-State Systems , 1998, TACAS.
[26] Andreas Podelski,et al. Co-definite Set Constraints , 1998, RTA.
[27] Pierre Wolper,et al. An automata-theoretic approach to branching-time model checking , 2000, JACM.