-
2
-
-
84959212208
-
The monadic theory of morphic infinite words and generalizations
-
MFCS 2000, M. Nielsen and B. Rovan, eds
-
O. Carton and W. Thomas, The monadic theory of morphic infinite words and generalizations, in MFCS 2000, Lecture Notes in Computer Science 1893, M. Nielsen and B. Rovan, eds, (2000), 275-284.
-
(2000)
Lecture Notes in Computer Science
, vol.1893
, pp. 275-284
-
-
Carton, O.1
Thomas, W.2
-
3
-
-
0037055375
-
The monadic theory of morphic infinite words and generalizations
-
O. Carton and W. Thomas, The monadic theory of morphic infinite words and generalizations, Inform. Comput. 176, (2002), 51-76.
-
(2002)
Inform. Comput.
, vol.176
, pp. 51-76
-
-
Carton, O.1
Thomas, W.2
-
5
-
-
0041846260
-
Regularity preserving functions
-
Correction to "Regularity preserving functions", SIGACT News 6 (3), (1974), 22
-
S. R. Kosaraju, Regularity preserving functions, SIGACT News 6 (2), (1974), 16-17. Correction to "Regularity preserving functions", SIGACT News 6 (3), (1974), 22.
-
(1974)
SIGACT News
, vol.6
, Issue.2
, pp. 16-17
-
-
Kosaraju, S.R.1
-
6
-
-
33644764246
-
Context-free preserving functions
-
S. R. Kosaraju, Context-free preserving functions, Math. Systems Theory 9, (1975), 193-197.
-
(1975)
Math. Systems Theory
, vol.9
, pp. 193-197
-
-
Kosaraju, S.R.1
-
7
-
-
0042347306
-
On regularity-preserving functions
-
Erratum: On Regularity-Preserving Functions, Bull. Europ. Assoc. Theor. Comput. Sc. 59 (1996), 455
-
D. Kozen, On regularity-preserving functions, Bull. Europ. Assoc. Theor. Comput. Sc. 58 (1996), 131-138. Erratum: On Regularity-Preserving Functions, Bull. Europ. Assoc. Theor. Comput. Sc. 59 (1996), 455.
-
(1996)
Bull. Europ. Assoc. Theor. Comput. Sc.
, vol.58
, pp. 131-138
-
-
Kozen, D.1
-
9
-
-
20344376272
-
Operations and transductions that preserve rationality
-
6th GI Conference, Springer Verlag, Berlin
-
J.-É. Pin and J. Sakarovitch, Operations and transductions that preserve rationality, in 6th GI Conference, Lecture Notes in Computer Science 145, Springer Verlag, Berlin, (1983), 617-628.
-
(1983)
Lecture Notes in Computer Science
, vol.145
, pp. 617-628
-
-
Pin, J.-É.1
Sakarovitch, J.2
-
10
-
-
0000953137
-
Une application de la représentation matricielle des transductions
-
J.-É. Pin and J. Sakarovitch, Une application de la représentation matricielle des transductions, Theoret. Comp. Sci. 35 (1985), 271-293.
-
(1985)
Theoret. Comp. Sci.
, vol.35
, pp. 271-293
-
-
Pin, J.-É.1
Sakarovitch, J.2
-
11
-
-
33644760617
-
A note on prefixes of regular languages
-
J. I. Seiferas, A note on prefixes of regular languages, SIGACT News 6, (1974), 25-29.
-
(1974)
SIGACT News
, vol.6
, pp. 25-29
-
-
Seiferas, J.I.1
-
13
-
-
0012709957
-
Decidable extensions of monadic second order successor arithmetic
-
Mannheim, J. Dörr and G. Hotz, Eds, B.I. Hochschultaschenbücher
-
D. Siefkes, Decidable extensions of monadic second order successor arithmetic, in: Automatentheorie und formale Sprachen, (Mannheim, 1970), J. Dörr and G. Hotz, Eds, B.I. Hochschultaschenbücher, 441-472.
-
(1970)
Automatentheorie und Formale Sprachen
, pp. 441-472
-
-
Siefkes, D.1
-
14
-
-
0042347303
-
Regularity preserving modifications of regular expressions
-
R. E. Stearns and J. Hartmanis, Regularity preserving modifications of regular expressions, Information and Control 6, (1963), 55-69.
-
(1963)
Information and Control
, vol.6
, pp. 55-69
-
-
Stearns, R.E.1
Hartmanis, J.2
-
15
-
-
0042347302
-
Automata, Boolean matrices, and ultimate periodicity
-
Guo-Qiang Zhang, Automata, Boolean matrices, and ultimate periodicity, Information and Computation, 152, (1999), 138-154.
-
(1999)
Information and Computation
, vol.152
, pp. 138-154
-
-
Zhang, G.-Q.1
|