-
1
-
-
0002176420
-
Modal logics and mu-calculi
-
Elsevier, North-Holland
-
J. Bradfield and C. Stirling. Modal logics and mu-calculi. In Handbook of Process Algebra, pages 293-332. Elsevier, North-Holland, 2001.
-
(2001)
Handbook of Process Algebra
, pp. 293-332
-
-
Bradfield, J.1
Stirling, C.2
-
3
-
-
70350660956
-
On global model checking trees generated by higher-order recursion schemes
-
C. Broadbent and C.-H. L. Ong. On global model checking trees generated by higher-order recursion schemes. In Proc. of FoSSaCS 2009, pages 107-121, 2009.
-
(2009)
Proc. of FoSSaCS 2009
, pp. 107-121
-
-
Broadbent, C.1
Ong, C.-H.L.2
-
4
-
-
51549109366
-
Winning regions of higher-order pushdown games
-
IEEE
-
A. Carayol, M. Hague, A. Meyer, C.-H. L. Ong, and O. Serre. Winning regions of higher-order pushdown games. In Proc. of LICS'08, pages 193-204. IEEE, 2008.
-
(2008)
Proc. of LICS'08
, pp. 193-204
-
-
Carayol, A.1
Hague, M.2
Meyer, A.3
Ong, C.-H.L.4
Serre, O.5
-
5
-
-
84957018140
-
On infinite terms having a decidable monadic theory
-
D. Caucal. On infinite terms having a decidable monadic theory. In Proc. of MFCS'02, pages 165-176, 2002.
-
(2002)
Proc. of MFCS'02
, pp. 165-176
-
-
Caucal, D.1
-
6
-
-
0028420231
-
Monadic second-order definable graph transductions: A survey
-
B. Courcelle. Monadic second-order definable graph transductions: A survey. TCS, 126(1):53-75, 1994.
-
(1994)
TCS
, vol.126
, Issue.1
, pp. 53-75
-
-
Courcelle, B.1
-
7
-
-
0029405932
-
The monadic second-order logic of graphs IX: Machines and their behaviours
-
B. Courcelle. The monadic second-order logic of graphs IX: machines and their behaviours. TCS, 151:125-162, 1995.
-
(1995)
TCS
, vol.151
, pp. 125-162
-
-
Courcelle, B.1
-
8
-
-
0026368952
-
Tree automata, mu-calculus and determinacy
-
E.A. Emerson and C.S. Jutla. Tree automata, mu-calculus and determinacy. In Proc. of FoCS'91, pages 368-377.
-
Proc. of FoCS'91
, pp. 368-377
-
-
Emerson, E.A.1
Jutla, C.S.2
-
9
-
-
51549119988
-
Collapsible pushdown automata and recursion schemes
-
IEEE
-
M. Hague, A. S. Murawski, C.-H. L. Ong, and O. Serre. Collapsible pushdown automata and recursion schemes. In Proc. of LICS'08, pages 452-461. IEEE, 2008.
-
(2008)
Proc. of LICS'08
, pp. 452-461
-
-
Hague, M.1
Murawski, A.S.2
Ong, C.-H.L.3
Serre, O.4
-
10
-
-
84948963145
-
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
-
D. Janin and I. Walukiewicz. On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic. In Proc. of Concur'96, pp. 263-277. 1996.
-
(1996)
Proc. of Concur'96
, pp. 263-277
-
-
Janin, D.1
Walukiewicz, I.2
-
11
-
-
84880287536
-
Collapsible pushdown graphs of level 2 are tree-automatic
-
A. Kartzow. Collapsible pushdown graphs of level 2 are tree-automatic. In Proc. of STACS 2010, pp. 501-512. 2010.
-
(2010)
Proc. of STACS 2010
, pp. 501-512
-
-
Kartzow, A.1
-
13
-
-
26644460416
-
Unsafe grammars and panic automata
-
Proc. of ICALP'05, Springer
-
T. Knapik, D. Niwiński, P. Urzyczyn, and I. Walukiewicz. Unsafe grammars and panic automata. In Proc. of ICALP'05, volume 3580 of LNCS, pages 1450-1461. Springer, 2005.
-
(2005)
LNCS
, vol.3580
, pp. 1450-1461
-
-
Knapik, T.1
Niwiński, D.2
Urzyczyn, P.3
Walukiewicz, I.4
-
14
-
-
0001434559
-
Borel determinacy
-
D.A. Martin. Borel determinacy. Annals of Mathematics, 102(363-371), 1975.
-
(1975)
Annals of Mathematics
, vol.102
, Issue.363-371
-
-
Martin, D.A.1
-
16
-
-
34547348202
-
On model-checking trees generated by higher-order recursion schemes
-
C.-H. L. Ong. On model-checking trees generated by higher-order recursion schemes. In Proc. of LICS'06, pages 81-90.
-
Proc. of LICS'06
, pp. 81-90
-
-
Ong, C.-H.L.1
-
17
-
-
84968501436
-
Decidability of second-order theories and automata on infinite trees
-
M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. AMS, 141:1-35, 1969.
-
(1969)
Trans. AMS
, vol.141
, pp. 1-35
-
-
Rabin, M.O.1
-
18
-
-
0037475068
-
Note on winning positions on pushdown games with omega-regular winning conditions
-
O. Serre Note on winning positions on pushdown games with omega-regular winning conditions. IPL, 85:285-291, 2003.
-
(2003)
IPL
, vol.85
, pp. 285-291
-
-
Serre, O.1
-
19
-
-
70350677118
-
Dependency tree automata
-
C. Stirling. Dependency tree automata. In Proc. of FoSSaCS09, pp 92-106.
-
Proc. of FoSSaCS09
, pp. 92-106
-
-
Stirling, C.1
-
20
-
-
0001568609
-
Languages, automata, and logic
-
Springer
-
Wolfgang Thomas. Languages, automata, and logic. In Handbook of Formal Language Theory, volume III, pages 389-455. Springer, 1997.
-
(1997)
Handbook of Formal Language Theory
, vol.3
, pp. 389-455
-
-
Thomas, W.1
-
21
-
-
35048836255
-
Global model-checking of infinite-state systems
-
M. Y. Vardi and N. Piterman. Global model-checking of infinite-state systems. In Proc. of CAV 2004, pages 387-400.
-
Proc. of CAV 2004
, pp. 387-400
-
-
Vardi, M.Y.1
Piterman, N.2
|