-
1
-
-
0000913841
-
Context-free languages and pushdown automata
-
(Eds.: G. Rozenberg and A. Salomaa), Springer Chapter 3
-
Autebert, J.-M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Handbook of Formal Languages (Eds.: G. Rozenberg and A. Salomaa), Springer, 1997, vol. 1, Chapter 3, 111-174.
-
(1997)
Handbook of Formal Languages
, vol.1
, pp. 111-174
-
-
Autebert, J.-M.1
Berstel, J.2
Boasson, L.3
-
2
-
-
0003687834
-
Definable operations in general algebras, and the theory of automata and flowcharts
-
Wien
-
Bekic, H.: Definable operations in general algebras, and the theory of automata and flowcharts. Tech. Report, IBM Labor, Wien, 1967.
-
(1967)
Tech. Report, IBM Labor
-
-
Bekic, H.1
-
4
-
-
0031122739
-
Completeness of park induction
-
Esik, Z.: Completeness of Park induction. Theor. Comput. Sci. 177 (1997) 217-283.
-
(1997)
Theor. Comput. Sci.
, vol.177
, pp. 217-283
-
-
Esik, Z.1
-
5
-
-
0003002778
-
Tree languages
-
(Eds.: G. Rozenberg and A. Salomaa), Springer Chapter 1
-
Gecseg, F., Steinby, M.: Tree Languages. In: Handbook of Formal Languages (Eds.: G. Rozenberg and A. Salomaa), Springer, 1997, vol. 3, Chapter 1, 1-68.
-
(1997)
Handbook of Formal Languages
, vol.3
, pp. 1-68
-
-
Gecseg, F.1
Steinby, M.2
-
7
-
-
37949047819
-
A characterization of context-free languages
-
Gruska, J.: A characterization of context-free languages. Journal of Computer and System Sciences 5 (1971) 353-364.
-
(1971)
Journal of Computer and System Sciences
, vol.5
, pp. 353-364
-
-
Gruska, J.1
-
8
-
-
0009282922
-
On limits in complete semirings
-
Karner, G.: On limits in complete semirings. Semigroup Forum 45 (1992) 148-165.
-
(1992)
Semigroup Forum
, vol.45
, pp. 148-165
-
-
Karner, G.1
-
9
-
-
0001411725
-
The kleene and the parikh theorem in complete semirings
-
Kuich, W.: The Kleene and the Parikh theorem in complete semirings. ICALP87, Lect. Notes Comput. Sci. 267(1987) 212-225.
-
(1987)
ICALP87, Lect. Notes Comput. Sci.
, vol.267
, pp. 212-225
-
-
Kuich, W.1
-
10
-
-
0003313944
-
Semirings and formal power series: Their relevance to formal languages and automata theory
-
(Eds.: G. Rozenberg and A. Salomaa), Springer Chapter 9
-
Kuich, W.: Semirings and formal power series: Their relevance to formal languages and automata theory. In: Handbook of Formal Languages (Eds.: G. Rozenberg and A. Salomaa), Springer, 1997, vol. 1, Chapter 9, 609-677.
-
(1997)
Handbook of Formal Languages
, vol.1
, pp. 609-677
-
-
Kuich, W.1
-
11
-
-
0003229632
-
Semirings, automata, languages
-
Springer
-
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer Science, Vol. 5. Springer, 1986.
-
(1986)
EATCS Monographs on Theoretical Computer Science
, vol.5
-
-
Kuich, W.1
Salomaa, A.2
-
15
-
-
0002614970
-
Generalized finite automata theory with an application to a decision problem of second-order logic
-
Thatcher, J. W., Wright, J. B.: Generalized finite automata theory with an application to a decision problem of second-order logic. Math. Systems Theory 2(1968) 57-81.
-
(1968)
Math. Systems Theory
, vol.2
, pp. 57-81
-
-
Thatcher, J.W.1
Wright, J.B.2
-
16
-
-
0003201744
-
Universal algebra for computer scientists
-
Springer
-
Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Computer Science, Vol. 25. Springer, 1992.
-
(1992)
EATCS Monographs on Computer Science
, vol.25
-
-
Wechler, W.1
|