-
1
-
-
0033700293
-
Automatic structures
-
IEEE Computer Society Press
-
Achim Blumensath and Erich Grädel. Automatic structures. In Proceedings of LICS ’00, pages 51–62. IEEE Computer Society Press, 2000.
-
(2000)
Proceedings of LICS ’00
, pp. 51-62
-
-
Blumensath, A.1
Grädel, E.2
-
2
-
-
0000150176
-
Brainerd. Tree generating regular systems
-
Walter S. Brainerd. Tree generating regular systems. Information and Control, 14:217–231, 1969.
-
(1969)
Information and Control
, vol.14
, pp. 217-231
-
-
Walter, S.1
-
3
-
-
84949049787
-
On infinite transition graphs having a decidable monadic theory
-
Springer-Verlag
-
Didier Caucal. On infinite transition graphs having a decidable monadic theory. In Proceedings ICALP ’96, volume 1099 of LNCS. Springer-Verlag, 1996.
-
(1996)
Proceedings ICALP ’96, Volume 1099 of LNCS
-
-
Caucal, D.1
-
4
-
-
0028769280
-
Bottom-up tree pushdown automata: Classification and connection with rewrite systems
-
J.L. Coquidé, M. Dauchet, R. Gilleron, and S. Vágvölgyi. Bottom-up tree pushdown automata: Classification and connection with rewrite systems. Theoretical Computer Science, 127(1):69–98, 1994.
-
(1994)
Theoretical Computer Science
, vol.127
, Issue.1
, pp. 69-98
-
-
Coquidé, J.L.1
Dauchet, M.2
Gilleron, R.3
Vágvölgyi, S.4
-
6
-
-
0025499418
-
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
-
October
-
Max Dauchet, Thierry Heuillard, Pierre Lescanne, and Sophie Tison. Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. Information and Computation, 88(2):187–201, October 1990.
-
(1990)
Information and Computation
, vol.88
, Issue.2
, pp. 187-201
-
-
Dauchet, M.1
Heuillard, T.2
Lescanne, P.3
Tison, S.4
-
7
-
-
0025596345
-
The theory of ground rewrite systems is decidable
-
IEEE Computer Society Press
-
Max Dauchet and Sophie Tison. The theory of ground rewrite systems is decidable. In Proceedings LICS ’90, pages 242–248. IEEE Computer Society Press, 1990.
-
(1990)
Proceedings LICS ’90
, pp. 242-248
-
-
Dauchet, M.1
Tison, S.2
-
8
-
-
84944409009
-
Efficient algorithms for model checking pushdown systems
-
Springer-Verlag
-
Javier Esparza, David Hansel, Peter Rossmanith, and Stefan Schwoon. Efficient algorithms for model checking pushdown systems. In Proceedings of CAV 2000, volume 1855 of LNCS, pages 232–247. Springer-Verlag, 2000.
-
(2000)
Proceedings of CAV 2000, Volume 1855 of LNCS
, pp. 232-247
-
-
Esparza, J.1
Hansel, D.2
Rossmanith, P.3
Schwoon, S.4
-
9
-
-
84925086337
-
On the model checking problem for branching time logics and Basic Parallel Processes
-
Javier Esparza and Astrid Kiehn. On the model checking problem for branching time logics and Basic Parallel Processes. In Proceedings of CAV ’95, volume 939 of LNCS, pages 353–366, 1995.
-
(1995)
Proceedings of CAV ’95, Volume 939 of LNCS
, pp. 353-366
-
-
Esparza, J.1
Kiehn, A.2
-
10
-
-
84968456308
-
An automata-theoretic approach to reasoning about infinite-state systems
-
E. A. Emerson and A. P. Sistla, editors, Springer-Verlag
-
Orna Kupferman and Moshe Y. Vardi. An automata-theoretic approach to reasoning about infinite-state systems. In E. A. Emerson and A. P. Sistla, editors, Proceedings of CAV 2000, volume 1855 of LNCS. Springer-Verlag, 2000.
-
(2000)
Proceedings of CAV 2000, Volume 1855 of LNCS
-
-
Kupferman, O.1
Vardi, M.Y.2
-
11
-
-
0034627955
-
Process rewrite systems
-
Richard Mayr. Process rewrite systems. Information and Computation, 156(1– 2):264–286, 2000.
-
(2000)
Information and Computation
, vol.156
, Issue.12
, pp. 264-286
-
-
Mayr, R.1
-
13
-
-
0021859985
-
The theory of ends, pushdown automata, and second-order logic
-
David E. Muller and Paul E. Schupp. The theory of ends, pushdown automata, and second-order logic. Theoretical Computer Science, 37:51–75, 1985.
-
(1985)
Theoretical Computer Science
, vol.37
, pp. 51-75
-
-
Muller, D.E.1
Schupp, P.E.2
-
14
-
-
84957642329
-
Pushdown processes: Games and model checking
-
In Rajeev Alur and Thomas A. Henzinger, editors, Springer-Verlag, July-August
-
Igor Walukiewicz. Pushdown processes: Games and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of CAV ’96, volume 1102 of LNCS, pages 62–74. Springer-Verlag, July-August 1996.
-
(1996)
Proceedings of CAV ’96, Volume 1102 of LNCS
, pp. 62-74
-
-
Walukiewicz, I.1
|