×

RAIRO, Informatique Théorique

Short Title: RAIRO, Inf. Théor.
Parallel Title: Theoretical Computer Science
Publisher: Dunod, Paris
ISSN: 0296-1598
Online: http://www.numdam.org/numdam-bin/feuilleter?j=ITA&sl=0
Predecessor: Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
Successor: RAIRO. Informatique Théorique et Applications
Comments: Journal; No longer indexed
Documents Indexed: 197 Publications (1977–1985)
References Indexed: 193 Publications with 2,420 References.
all top 5

Authors

8 Rozenberg, Grzegorz
7 Boasson, Luc
6 Ehrenfeucht, Andrzej
5 Culik, Karel II
5 Păun, Gheorghe
5 Wood, Derick
4 Arnold, André
4 Beauquier, Joffroy
4 Greibach, Sheila A.
4 Karhumaki, Juhani
4 Maurer, Hermann A.
4 Salomaa, Arto Kustaa
3 Autebert, Jean-Michel
3 Courcelle, Bruno
3 Latteux, Michel
3 Nivat, Maurice
3 Prodinger, Helmut
3 Restivo, Antonio
3 Salle, Patrick
3 Tchuente, Maurice
2 Aiello, Aldo
2 Avenhaus, Jürgen
2 Book, Ronald Vernon
2 Brandstädt, Andreas
2 Burattini, Ernesto
2 Chottin, Laurent
2 Cori, Robert
2 Dauchet, Max
2 Fariñas del Cerro, Luis
2 Francon, Jean
2 Frougny, Christiane
2 Guessarian, Irène
2 Hotz, Günter
2 Koubek, Vaclav
2 Lescanne, Pierre
2 Massarotti, Antonio
2 Mehlhorn, Kurt
2 Remy, Jean-Luc
2 Robinet, Bernard J.
2 Simovici, Dan A.
2 Viry, Guy
1 Aczél, János Dezső
1 Aggarwal, Nand Lal
1 Aguzzi, Gianni
1 Aït-Kaci, Hassan
1 Alaiwan, Haissam
1 Alt, Helmut
1 Apolloni, Bruno
1 Apostolico, Alberto
1 Arsac, Jacques J.
1 Arz, Johannes
1 Astesiano, Egidio
1 Bak, Piotr
1 Batini, Carlo
1 Bertolazzi, Paola
1 Bétréma, Jean
1 Bouchon, Bernadette
1 Breitbart, Yuri
1 Broy, Manfred
1 Bucher, Walter
1 Calude, Cristian S.
1 Canal, Richard
1 Carvallo, Michel
1 Černý, Anton
1 Choffrut, Christian
1 Cogis, Olivier
1 Colmerauer, Alain
1 Cori, Marcel
1 Costa, Gerardo
1 Crochemore, Maxime
1 Daduna, Hans
1 Daróczy, Zoltán
1 D’Atri, Alessandro
1 De Felice, Clelia
1 de Luca, Aldo
1 Delahaye, Jean-Paul
1 Demel, Jiri
1 Demlová, Marie
1 Dezani-Ciancaglini, Mariangiola
1 Dieu, Phan Dinh
1 Dikovskii, A. Ja.
1 Do Long Van
1 Dulucq, Serge
1 Dumontet, Jacques
1 Duval, Jean-Pierre
1 Ehrig, Hartmut
1 Fachini, Emanuela
1 Flajolet, Philippe
1 Forte, Bruno
1 Franchi-Zannettacci, Marie-Pierre
1 Gabarró, Joaquim
1 Garg, Asha
1 Gati, Georg
1 Gohon, Philippe
1 Goralcik, Pavel
1 Graf, Susanne
1 Guiasu, Silviu
1 Habib, Michel
1 Haussler, David
1 Hedrlin, Zdeněk
...and 87 more Authors

Publications by Year

Citations contained in zbMATH Open

152 Publications have been cited 1,053 times in 885 Documents Cited by Year
Automates et commutations partielles. (Automata and partial commutations). Zbl 0601.68055
Cori, Robert; Perrin, Dominique
76
1985
A semigroup characterization of dot-depth one languages. Zbl 0522.68063
Knast, Robert
40
1983
Un procédé itératif de dénombrement d’arbres binaires et son application à leur génération aléatoire. Zbl 0565.05037
Rémy, Jean-Luc
40
1985
Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050
Nivat, Maurice
32
1978
Nombre de sauts et graphes série-parallèles. Zbl 0413.05013
Cogis, O.; Habib, M.
30
1979
Two-way multihead automata over a one-letter alphabet. Zbl 0442.68039
Monien, Burkhard
28
1980
On the hierarchy of Petri net languages. Zbl 0404.68076
Jantzen, Matthias
25
1979
Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025
Nivat, Maurice
24
1977
Frontiers of infinite trees. Zbl 0411.68065
Courcelle, B.
24
1978
On some context-free languages that are not deterministic ETOL languages. Zbl 0378.68040
Ehrenfeucht, A.; Rozenberg, G.
23
1977
Cônes rationnels commutativement clos. Zbl 0354.68103
Latteux, Michel
21
1977
Systolic tree acceptors. Zbl 0571.68043
Culik, Karel II; Salomaa, Arto; Wood, Derick
20
1984
Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056
Autebert, J. M.; Beauquier, J.; Boasson, L.; Nivat, M.
20
1979
Hiérarchies de concaténation. Zbl 0559.68062
Pin, Jean-Eric
18
1984
An algorithm for the solution of fixed-point equations for infinite words. Zbl 0433.68062
Heilbrunner, Stephan
18
1980
On the equality sets for homomorphisms on free monoids with two generators. Zbl 0454.20048
Čulik, Karel II; Karhumäki, Juhani
18
1980
A new class of balanced search trees: Half-balanced binary search trees. Zbl 0489.68056
Olivie, H. J.
17
1982
On real time and linear time cellular automata. Zbl 0547.68050
Bucher, W.; Čulik, Karel II
17
1984
A mixed theory of information. I: Symmetric, recursive and measurable entropies of randomized systems of events. Zbl 0382.94012
Aczél, János; Daroczy, Z.
17
1978
On simple representations of language families. Zbl 0432.68052
Culik, Karel II; Maurer, H. A.
17
1979
Repetitive strings are not context-free. Zbl 0489.68071
Ross, Rockford; Winklmann, Karl
15
1982
Some results on finite maximal codes. Zbl 0578.68062
De Felice, Clelia; Restivo, Antonio
14
1985
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
14
1979
Automates boustrophédon, semi-groupe de Birget et monoïde inversif libre. Zbl 0604.68094
Pécuchet, J. P.
13
1985
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
13
1978
Transductions rationnelles decroissantes. Zbl 0456.68097
Leguy, Jeannine
13
1981
Histoires de fichiers. Zbl 0377.68034
Francon, Jean
12
1978
Relational morphisms and operations on recognizable sets. Zbl 0463.20049
Straubing, Howard
12
1981
On the equivalence of compositions of morphisms and inverse morphisms on regular languages. Zbl 0601.68049
Karhumäki, J.; Kleijn, H. C. M.
11
1985
Détermination de la représentation standard d’une série reconnaissable. Zbl 0453.68024
Cardon, A.; Crochemore, M.
11
1980
On subword complexities of homomorphic images of languages. Zbl 0495.68069
Ehrenfeucht, A.; Rozenberg, G.
10
1982
On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038
Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C.
9
1984
Codes, languages and MOL schemes. Zbl 0369.68045
Shyr, H. J.; Thierrin, G.
9
1977
Langages algébriques et systèmes de reecriture rationnels. Zbl 0498.68048
Chottin, Laurent
8
1982
Mots infinis et langages commutatifs. Zbl 0387.68051
Latteux, Michel
8
1978
Un langage algébrique particulier. Zbl 0424.68042
Boasson, L.
8
1979
Deux remarques sur un théorème de S. Eilenberg. Zbl 0512.68063
Sakarovitch, Jacques
7
1983
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems. Zbl 0518.68025
Lescanne, Pierre
7
1982
The Brownian motion: a neglected tool for the complexity analysis of sorted tables manipulation. Zbl 0523.68031
Louchard, G.
7
1983
Sur le nombre de registres nécessaires à l’évaluation d’une expression arithmétique. Zbl 0547.68041
Françon, Jean
7
1984
Construction de codes indécomposables. (Construction of undecomposable codes). Zbl 0567.68046
Vincent, Max
7
1985
Sur les semi-groupes vérifiant le théorème de Kleene. Zbl 0575.20055
Reutenauer, Christophe
7
1985
On languages satisfying Ogden’s lemma. Zbl 0387.68054
Boasson, L.; Horvath, S.
7
1978
Une preuve combinatoire de la rationalité d’une série génératrice associée aux arbres. Zbl 0509.05006
Chottin, Laurent; Cori, Robert
6
1982
Mots infinis de Fibonacci et morphismes iterés. Zbl 0521.20042
Pansiot, Jean-Jacques
6
1983
Méthodes d’optimisation pour un problème de théorie des nombres. Zbl 0531.10012
Robin, G.
6
1983
Parallel computation on 2-3-trees. Zbl 0531.68017
Paul, W.; Vishkin, U.; Wagener, H.
6
1983
On context constrained squares and repetitions in a string. Zbl 0543.68067
Apostolico, A.
6
1984
Sur l’auto-stabilisation dans un réseau d’ordinateurs. Zbl 0473.68047
Tchuente, Maurice
6
1981
Some remarks on multihead automata. Zbl 0369.68035
Sudborough, I. H.
6
1977
Mots sans repetitions et langages rationnels bornes. Zbl 0371.68023
Restivo, A.
6
1977
The family of languages satisfying Bar-Hillel’s lemma. Zbl 0387.68053
Horvath, Sandor
6
1978
Arbres infinis et systèmes d’équations. Zbl 0406.68017
Courcelle, Bruno
6
1979
Mots de Lyndon et périodicité. Zbl 0444.20048
Duval, Jean-Pierre
6
1980
Codes avec des mots infinis. Zbl 0498.68053
Do Long Van
5
1982
Construction d’un plus petit ordre de simplification. Zbl 0541.68013
Jouannaud, J. P.; Kirchner, H.
5
1984
On temporal program verification rules. Zbl 0563.68007
Kröger, F.
5
1985
Non-générateurs algébriques et substitution. Zbl 0569.68060
Boasson, L.
5
1985
Les tests et leur caractérisation syntaxique. Zbl 0364.68018
Guessarian, Irene
5
1977
Une caractérisation des langages algébriques bornes. Zbl 0371.68024
Boasson, L.; Restivo, A.
5
1977
Un modèle fonctionnel des structures de contrôle. Zbl 0389.68015
Robinet, B.
5
1977
Data types as lattices: Retractions, closures and projections. Zbl 0394.03019
Sanchis, Luis E.
5
1977
Langages tres simples générateurs. Zbl 0405.68063
Frougny, Christiane
5
1979
Sur les transductions reconnaissables. Zbl 0423.20053
Choffrut, Christian
5
1978
Analysis of a class of graph partitioning problems. Zbl 0489.68066
Bertolazzi, P.; Lucertini, M.; Marchetti Spaccamela, A.
4
1982
Une application des notions de centre et index rationnel à certains langages algébriques. Zbl 0505.68033
Gabarro, J.
4
1982
Synchronized EOL forms under uniform interpretation. Zbl 0507.68050
Maurer, H. A.; Salomaa, A.; Wood, D.
4
1981
A game of composing binary relations. Zbl 0509.05011
Goralcik, P.; Hedrlin, Z.; Koubek, V.; Ryslinkova, J.
4
1982
Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017
Broy, Manfred; Wirsing, Martin
4
1983
Un algorithme de calcul formel des séries énumératrices de langage linéaire. (An algorithm for the formal calculation of generating functions of linear languages). Zbl 0523.68062
Franchi-Zannettacci, M. P.
4
1983
On the Ehrenfeucht conjecture for DOL languages. Zbl 0544.68050
Culik, Karel II; Karhumäki, Juhani
4
1983
Approximation de séries formelles par des séries rationnelles. Zbl 0549.68052
Hespel, Christiane
4
1984
Semantique des structures de contrôle. Zbl 0354.68027
Robinet, Bernard; Nozick, Francois
4
1977
Automates de coût borné sur un alphabet à une lettre. Zbl 0578.68044
Gohon, Philippe
4
1985
Relative goodness of EOL forms. Zbl 0388.68067
Maurer, H. A.; Salomaa, A.; Wood, D.
4
1978
The independence of certain operations on semi-AFLs. Zbl 0388.68068
Book, Ronald V.; Greibach, Sheila A.
4
1978
Complexity of \(\lambda\)-term reductions. Zbl 0424.03009
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.; Saitta, L.
4
1979
Über die Darstellbarkeit des syntaktischen Monoides kontextfreier Sprachen. Zbl 0428.68085
Hotz, Günter
4
1979
One counter languages and the Chevron operation. Zbl 0441.68081
Greibach, S. A.
4
1979
Nondeterminism and fully abstract models. Zbl 0463.03024
Astesiano, Egidio; Costa, Gerardo
4
1980
On subdirectly irreducible automata. Zbl 0482.68050
Demlova, M.; Demel, J.; Koubek, V.
3
1981
On the separating power of EOL systems. Zbl 0512.68059
Ehrenfeucht, A.; Rozenberg, G.
3
1983
Hypergraph systems and their extensions. Zbl 0512.68062
Janssens, D.; Rozenberg, G.
3
1983
Independent instances for some undecidable problems. Zbl 0517.03022
Calude, Cristian; Paun, Gheorghe
3
1983
Langages de parenthèses, langages N.T.S. et homomorphismes inverses. Zbl 0547.68075
Autebert, J.-M.; Boasson, L.; Sénizergues, G.
3
1984
Un principe de résolution en logique modale. Zbl 0566.03007
Fariñas del Cerro, Luis
3
1984
Characterizations of the Dyck sets. Zbl 0354.68104
Wrathall, Celia
3
1977
Reduction algorithms for some classes of aperiodic monoids. Zbl 0571.20066
König, Roman
3
1985
Rebalancing operations for deletions in AVL-trees. Zbl 0579.68012
Tsakalidis, Athanasios K.
3
1985
The strong independence of substitution and homomorphic replication. Zbl 0387.68048
Greibach, S. A.
3
1978
Fuites dans les réseaux de Petri. Zbl 0394.68043
Memmi, G.
3
1978
On some properties of the syntactic semigroup of a very pure subsemigroup. Zbl 0437.20053
De Luca, Aldo
3
1980
Topologies on free monoids induced by closure operators of a special type. Zbl 0444.68077
Prodinger, Helmut
3
1980
Semantique des processus communicants. Zbl 0463.68033
Arnold, Andre
3
1981
Modeles non déterministes de types abstraits. Zbl 0491.68013
Lescanne, Pierre
2
1982
From LL-regular to LL(1) grammars: transformations, covers and parsing. Zbl 0498.68052
Nijholt, Anton
2
1982
On simple matrix languages versus scattered context languages. Zbl 0505.68034
Paun, Gheorghe
2
1982
Topologies sur des espaces ordonnes. Zbl 0517.54026
Betrema, J.
2
1982
Right and left invertibility in lambda-beta-calculus. Zbl 0523.03010
Margaria, I.; Zacchi, M.
2
1983
The reduction of binary trees by means of an input-restricted deque. Zbl 0523.68054
Kemp, R.
2
1983
Automates et commutations partielles. (Automata and partial commutations). Zbl 0601.68055
Cori, Robert; Perrin, Dominique
76
1985
Un procédé itératif de dénombrement d’arbres binaires et son application à leur génération aléatoire. Zbl 0565.05037
Rémy, Jean-Luc
40
1985
Some results on finite maximal codes. Zbl 0578.68062
De Felice, Clelia; Restivo, Antonio
14
1985
Automates boustrophédon, semi-groupe de Birget et monoïde inversif libre. Zbl 0604.68094
Pécuchet, J. P.
13
1985
On the equivalence of compositions of morphisms and inverse morphisms on regular languages. Zbl 0601.68049
Karhumäki, J.; Kleijn, H. C. M.
11
1985
Construction de codes indécomposables. (Construction of undecomposable codes). Zbl 0567.68046
Vincent, Max
7
1985
Sur les semi-groupes vérifiant le théorème de Kleene. Zbl 0575.20055
Reutenauer, Christophe
7
1985
On temporal program verification rules. Zbl 0563.68007
Kröger, F.
5
1985
Non-générateurs algébriques et substitution. Zbl 0569.68060
Boasson, L.
5
1985
Automates de coût borné sur un alphabet à une lettre. Zbl 0578.68044
Gohon, Philippe
4
1985
Reduction algorithms for some classes of aperiodic monoids. Zbl 0571.20066
König, Roman
3
1985
Rebalancing operations for deletions in AVL-trees. Zbl 0579.68012
Tsakalidis, Athanasios K.
3
1985
An algorithm for finding a minimal recursive path ordering. Zbl 0578.68029
Aït-Kaci, Hassan
2
1985
Strong iterative pairs and the regularity of context-free languages. Zbl 0601.68053
Ehrenfeucht, A.; Rozenberg, G.
2
1985
Sur les groupes syntaxiques d’un langage. Zbl 0565.20049
Rindone, Giuseppina
1
1985
Search trees and bubble memories. Zbl 0569.68051
Flajolet, Philippe; Ottmann, Thomas; Wood, Derick
1
1985
Réseaux systoliques pour des problèmes de mots. Zbl 0569.68063
Robert, Yves; Tchuente, Maurice
1
1985
On a class of infinite words with bounded repetitions. Zbl 0578.68058
Černý, Anton
1
1985
Sur quelques limitations des algorithmes dans le traitement des suites. Zbl 0582.65001
Delahaye, J.-P.
1
1985
Systolic tree acceptors. Zbl 0571.68043
Culik, Karel II; Salomaa, Arto; Wood, Derick
20
1984
Hiérarchies de concaténation. Zbl 0559.68062
Pin, Jean-Eric
18
1984
On real time and linear time cellular automata. Zbl 0547.68050
Bucher, W.; Čulik, Karel II
17
1984
On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038
Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C.
9
1984
Sur le nombre de registres nécessaires à l’évaluation d’une expression arithmétique. Zbl 0547.68041
Françon, Jean
7
1984
On context constrained squares and repetitions in a string. Zbl 0543.68067
Apostolico, A.
6
1984
Construction d’un plus petit ordre de simplification. Zbl 0541.68013
Jouannaud, J. P.; Kirchner, H.
5
1984
Approximation de séries formelles par des séries rationnelles. Zbl 0549.68052
Hespel, Christiane
4
1984
Langages de parenthèses, langages N.T.S. et homomorphismes inverses. Zbl 0547.68075
Autebert, J.-M.; Boasson, L.; Sénizergues, G.
3
1984
Un principe de résolution en logique modale. Zbl 0566.03007
Fariñas del Cerro, Luis
3
1984
Grammaires algébriques et monoïdes simplifiables. Zbl 0545.68071
Frougny, Christiane
1
1984
Définitions récursives par cas. Zbl 0562.68004
Courcelle, B.; Lavandier, F.
1
1984
Charakterisierung redundanzfreier Codes zur Datenverschlüsselung. Zbl 0573.94003
Jürgensen, H.; Kunze, M.
1
1984
A semigroup characterization of dot-depth one languages. Zbl 0522.68063
Knast, Robert
40
1983
Deux remarques sur un théorème de S. Eilenberg. Zbl 0512.68063
Sakarovitch, Jacques
7
1983
The Brownian motion: a neglected tool for the complexity analysis of sorted tables manipulation. Zbl 0523.68031
Louchard, G.
7
1983
Mots infinis de Fibonacci et morphismes iterés. Zbl 0521.20042
Pansiot, Jean-Jacques
6
1983
Méthodes d’optimisation pour un problème de théorie des nombres. Zbl 0531.10012
Robin, G.
6
1983
Parallel computation on 2-3-trees. Zbl 0531.68017
Paul, W.; Vishkin, U.; Wagener, H.
6
1983
Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017
Broy, Manfred; Wirsing, Martin
4
1983
Un algorithme de calcul formel des séries énumératrices de langage linéaire. (An algorithm for the formal calculation of generating functions of linear languages). Zbl 0523.68062
Franchi-Zannettacci, M. P.
4
1983
On the Ehrenfeucht conjecture for DOL languages. Zbl 0544.68050
Culik, Karel II; Karhumäki, Juhani
4
1983
On the separating power of EOL systems. Zbl 0512.68059
Ehrenfeucht, A.; Rozenberg, G.
3
1983
Hypergraph systems and their extensions. Zbl 0512.68062
Janssens, D.; Rozenberg, G.
3
1983
Independent instances for some undecidable problems. Zbl 0517.03022
Calude, Cristian; Paun, Gheorghe
3
1983
Right and left invertibility in lambda-beta-calculus. Zbl 0523.03010
Margaria, I.; Zacchi, M.
2
1983
The reduction of binary trees by means of an input-restricted deque. Zbl 0523.68054
Kemp, R.
2
1983
Syntactic congruences and syntactic algebras. Zbl 0527.20052
Arz, Johannes
2
1983
Characterization of rational and algebraic power series. Zbl 0512.68073
Wechler, Wolfgang
1
1983
Relational data base design using refinement rules. Zbl 0519.68083
Batini, C.; D’Atri, A.
1
1983
Probabilistic analysis of two Euclidean location problems. Zbl 0523.68032
Marchetti-Spaccamela, A.; Talamo, M.
1
1983
Topologies on free monoids induced by families of languages. Zbl 0533.20041
Prodinger, Helmut
1
1983
A new class of balanced search trees: Half-balanced binary search trees. Zbl 0489.68056
Olivie, H. J.
17
1982
Repetitive strings are not context-free. Zbl 0489.68071
Ross, Rockford; Winklmann, Karl
15
1982
On subword complexities of homomorphic images of languages. Zbl 0495.68069
Ehrenfeucht, A.; Rozenberg, G.
10
1982
Langages algébriques et systèmes de reecriture rationnels. Zbl 0498.68048
Chottin, Laurent
8
1982
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems. Zbl 0518.68025
Lescanne, Pierre
7
1982
Une preuve combinatoire de la rationalité d’une série génératrice associée aux arbres. Zbl 0509.05006
Chottin, Laurent; Cori, Robert
6
1982
Codes avec des mots infinis. Zbl 0498.68053
Do Long Van
5
1982
Analysis of a class of graph partitioning problems. Zbl 0489.68066
Bertolazzi, P.; Lucertini, M.; Marchetti Spaccamela, A.
4
1982
Une application des notions de centre et index rationnel à certains langages algébriques. Zbl 0505.68033
Gabarro, J.
4
1982
A game of composing binary relations. Zbl 0509.05011
Goralcik, P.; Hedrlin, Z.; Koubek, V.; Ryslinkova, J.
4
1982
Modeles non déterministes de types abstraits. Zbl 0491.68013
Lescanne, Pierre
2
1982
From LL-regular to LL(1) grammars: transformations, covers and parsing. Zbl 0498.68052
Nijholt, Anton
2
1982
On simple matrix languages versus scattered context languages. Zbl 0505.68034
Paun, Gheorghe
2
1982
Topologies sur des espaces ordonnes. Zbl 0517.54026
Betrema, J.
2
1982
A probabilistic analysis of a new satisfiability algorithm. Zbl 0489.68038
Apolloni, B.; Di Gregorio, S.
1
1982
Indécidabilité de la condition IRS. Zbl 0493.68075
Autebert, Jean-Michel; Beauquier, Joffroy; Boasson, Luc; Latteux, Michel
1
1982
A note on the undecidability of contextfreeness. Zbl 0493.68078
Albert, J.
1
1982
Series algébriques solutions d’équations linéaires avec opérateurs. Zbl 0493.68080
Dulucq, Serge
1
1982
Les modalites de la correction totale. Zbl 0506.03004
Farinas del Cerro, Luis
1
1982
Transductions rationnelles decroissantes. Zbl 0456.68097
Leguy, Jeannine
13
1981
Relational morphisms and operations on recognizable sets. Zbl 0463.20049
Straubing, Howard
12
1981
Sur l’auto-stabilisation dans un réseau d’ordinateurs. Zbl 0473.68047
Tchuente, Maurice
6
1981
Synchronized EOL forms under uniform interpretation. Zbl 0507.68050
Maurer, H. A.; Salomaa, A.; Wood, D.
4
1981
On subdirectly irreducible automata. Zbl 0482.68050
Demlova, M.; Demel, J.; Koubek, V.
3
1981
Semantique des processus communicants. Zbl 0463.68033
Arnold, Andre
3
1981
The theory of invertible algorithms. Zbl 0476.68027
Aguzzi, Gianni
2
1981
An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. Zbl 0494.20020
Avenhaus, J.; Madlener, K.
1
1981
Arbitrary weight changes in dynamic trees. Zbl 0467.68022
Mehlhorn, Kurt
1
1981
Closure properties of certain families of formal languages with respect to a generalization of cyclic closure. Zbl 0467.68066
Brandstädt, Andreas
1
1981
A theory of complexity of monadic recursion schemes. Zbl 0469.68050
Dikovskij, A. Ja.
1
1981
Systemes de deduction pour les arbres et les schemas de programme. II. Zbl 0464.68019
Enjalbert, P.
1
1981
Two-way multihead automata over a one-letter alphabet. Zbl 0442.68039
Monien, Burkhard
28
1980
An algorithm for the solution of fixed-point equations for infinite words. Zbl 0433.68062
Heilbrunner, Stephan
18
1980
On the equality sets for homomorphisms on free monoids with two generators. Zbl 0454.20048
Čulik, Karel II; Karhumäki, Juhani
18
1980
Détermination de la représentation standard d’une série reconnaissable. Zbl 0453.68024
Cardon, A.; Crochemore, M.
11
1980
Mots de Lyndon et périodicité. Zbl 0444.20048
Duval, Jean-Pierre
6
1980
Nondeterminism and fully abstract models. Zbl 0463.03024
Astesiano, Egidio; Costa, Gerardo
4
1980
On some properties of the syntactic semigroup of a very pure subsemigroup. Zbl 0437.20053
De Luca, Aldo
3
1980
Topologies on free monoids induced by closure operators of a special type. Zbl 0444.68077
Prodinger, Helmut
3
1980
Systemes de deduction pour les arbres et les schemas de programmes. Zbl 0441.68007
Enjalbert, P.
2
1980
Computing of graphs of relations using generative grammars. Zbl 0486.68073
Simovici, Dan A.
1
1980
Some consequences of a result of Ehrenfeucht and Rozenberg. Zbl 0429.68066
Paun, Gheorghe
1
1980
Construction, evaluation et amelioration systematiques de structures de données. Zbl 0434.68050
Remy, Jean-Luc
1
1980
Factorisation des polynômes à plusieurs variables. Zbl 0441.12004
Viry, Guy
1
1980
Verschränkte Homomorphismen formaler Sprachen. Zbl 0442.68080
Hotz, Günter
1
1980
Une généralisation de la théorie des types en \(\lambda\)-calcul. (Premiere partie). Zbl 0446.03010
Salle, Patrick
1
1980
Classes of languages proof against regular pumping. Zbl 0449.68035
Sommerhalder, R.
1
1980
Grammaires parenthesees et bilangages réguliers. Zbl 0452.68072
Marchand, P.
1
1980
Nombre de sauts et graphes série-parallèles. Zbl 0413.05013
Cogis, O.; Habib, M.
30
1979
...and 52 more Documents
all top 5

Cited by 812 Authors

23 Rozenberg, Grzegorz
20 Latteux, Michel
17 Boasson, Luc
16 Pin, Jean-Eric
15 Diekert, Volker
14 Ibarra, Oscar H.
14 Karhumaki, Juhani
13 Ehrenfeucht, Andrzej
11 Culik, Karel II
10 Blanchet-Sadri, Francine
10 Courcelle, Bruno
10 Restivo, Antonio
9 Carton, Olivier
9 Engelfriet, Joost
9 Wood, Derick
8 Beauquier, Joffroy
8 De Felice, Clelia
8 Ésik, Zoltán
8 Okhotin, Alexander
8 Otto, Friedrich
8 Sakarovitch, Jacques
8 Weil, Pascal
7 Autebert, Jean-Michel
7 Fachini, Emanuela
7 Frougny, Christiane
7 Habib, Michel
7 Jürgensen, Helmut
7 Mitrana, Victor
7 Nivat, Maurice
7 Thérien, Denis
7 Verraedt, Raymond
6 Finkel, Olivier
6 Flajolet, Philippe
6 Iván, Szabolcs
6 Kalampakas, Antonios
6 Monti, Angelo
6 Napoli, Margherita
6 Reidenbach, Daniel
6 Salomaa, Arto Kustaa
6 Sénizergues, Géraud
6 Shallit, Jeffrey Outlaw
5 Arnold, André
5 Carpi, Arturo
5 Choffrut, Christian
5 Clerbout, Mireille
5 D’Alessandro, Flavio
5 Do Long Van
5 Elder, Murray J.
5 Gastin, Paul
5 Gruska, Jozef
5 Guaiana, Giovanna
5 Holub, Štěpán
5 Jantzen, Matthias
5 Kutrib, Martin
5 Louchard, Guy
5 Mrykhin, Mikhail
5 Place, Thomas
5 Reutenauer, Christophe
5 Rival, Ivan
5 Rupert, C. P.
5 Salemi, Sergio
5 Schott, René
5 Tarjan, Robert Endre
5 Timmerman, Erick
5 Zeitoun, Marc
4 Aalbersberg, Ijsbrand Jan
4 Almeida, Jorge
4 Apostolico, Alberto
4 Berstel, Jean
4 Bloom, Stephen L.
4 Bruyère, Véronique
4 Calude, Cristian S.
4 Ciobanu, Laura
4 Cori, Robert
4 Day, Joel D.
4 de Luca, Aldo
4 Droste, Manfred
4 Ebanks, Bruce R.
4 Fleischer, Lukas
4 Gabarró, Joaquim
4 Haas, Bénédicte
4 Hoogeboom, Hendrik Jan
4 Kannappan, Palaniappan
4 Maon, Yael
4 Martín-Vide, Carlos
4 Ottmann, Thomas A.
4 Parente, Domenico
4 Păun, Gheorghe
4 Pierre, Laurent
4 Roos, Yves
4 Rozoy, Brigitte
4 Schrader, Rainer
4 Slutzki, Giora
4 Straubing, Howard
4 Vogler, Heiko
4 Zaguia, Nejib
4 Zetzsche, Georg
3 Alonso, Laurent
3 Bartha, Miklós
3 Bauderon, Michel
...and 712 more Authors
all top 5

Cited in 105 Journals

245 Theoretical Computer Science
53 RAIRO. Informatique Théorique et Applications
52 RAIRO, Informatique Théorique
45 Information Processing Letters
35 Information and Computation
34 Journal of Computer and System Sciences
32 Acta Informatica
29 Discrete Applied Mathematics
16 Discrete Mathematics
14 Mathematical Systems Theory
14 Order
12 Semigroup Forum
12 RAIRO. Theoretical Informatics and Applications
10 Information Sciences
9 Journal of Pure and Applied Algebra
9 RAIRO. Theoretical Informatics and Applications
8 Journal of Algebra
7 Journal of Symbolic Computation
6 International Journal of Foundations of Computer Science
6 Aequationes Mathematicae
6 Theory of Computing Systems
5 Advances in Applied Mathematics
5 International Journal of Algebra and Computation
5 Logical Methods in Computer Science
4 Journal of Mathematical Analysis and Applications
4 Journal of Combinatorial Theory. Series A
4 Kybernetika
4 Algorithmica
3 Calcolo
3 Fuzzy Sets and Systems
3 Journal of Soviet Mathematics
3 Probability Theory and Related Fields
3 Distributed Computing
3 Journal of Automata, Languages and Combinatorics
3 Journal de l’École Polytechnique – Mathématiques
2 Metrika
2 The Annals of Probability
2 Applied Mathematics and Computation
2 BIT
2 Computing
2 Journal of Statistical Planning and Inference
2 Proceedings of the American Mathematical Society
2 Transactions of the American Mathematical Society
2 SIAM Journal on Algebraic and Discrete Methods
2 Annals of Pure and Applied Logic
2 International Journal of Approximate Reasoning
2 Random Structures & Algorithms
2 Applicable Algebra in Engineering, Communication and Computing
2 The Electronic Journal of Combinatorics
2 Electronic Journal of Probability
2 Séminaire Lotharingien de Combinatoire
2 The Ramanujan Journal
2 Journal of Combinatorial Optimization
2 Annals of Combinatorics
2 The Journal of Logic and Algebraic Programming
2 Natural Computing
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Israel Journal of Mathematics
1 Mathematical Biosciences
1 Problems of Information Transmission
1 Mathematics of Computation
1 Advances in Mathematics
1 Automatica
1 Colloquium Mathematicum
1 Commentationes Mathematicae Universitatis Carolinae
1 International Journal of Computer & Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Number Theory
1 The Journal of Symbolic Logic
1 Memoirs of the American Mathematical Society
1 Studia Logica
1 Theory and Decision
1 Trabajos de Estadistica y de Investigacion Operativa
1 Cybernetics
1 Operations Research Letters
1 Acta Mathematica Hungarica
1 Physica D
1 RAIRO. Modélisation Mathématique et Analyse Numérique
1 Journal of Complexity
1 Journal of Theoretical Probability
1 SIAM Journal on Discrete Mathematics
1 Publicacions Matemàtiques
1 Formal Aspects of Computing
1 Annals of Operations Research
1 International Journal of Computer Mathematics
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 Archive for Mathematical Logic
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 Journal de Théorie des Nombres de Bordeaux
1 Combinatorics, Probability and Computing
1 Journal of Functional Programming
1 Electronic Communications in Probability
1 Fundamenta Informaticae
1 RAIRO. Operations Research
1 Theory and Practice of Logic Programming
1 Journal of Control Theory and Applications
1 Mathematical Programming Computation
1 Probability Surveys
...and 5 more Journals
all top 5

Cited in 36 Fields

733 Computer science (68-XX)
126 Group theory and generalizations (20-XX)
98 Mathematical logic and foundations (03-XX)
83 Combinatorics (05-XX)
40 Information and communication theory, circuits (94-XX)
39 Order, lattices, ordered algebraic structures (06-XX)
20 General algebraic systems (08-XX)
19 Probability theory and stochastic processes (60-XX)
18 Operations research, mathematical programming (90-XX)
14 Number theory (11-XX)
11 Category theory; homological algebra (18-XX)
11 Difference and functional equations (39-XX)
10 Associative rings and algebras (16-XX)
6 History and biography (01-XX)
6 General topology (54-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Dynamical systems and ergodic theory (37-XX)
3 Numerical analysis (65-XX)
3 Biology and other natural sciences (92-XX)
2 Topological groups, Lie groups (22-XX)
2 Measure and integration (28-XX)
2 Functions of a complex variable (30-XX)
2 Convex and discrete geometry (52-XX)
2 Statistics (62-XX)
2 Systems theory; control (93-XX)
1 General and overarching topics; collections (00-XX)
1 Field theory and polynomials (12-XX)
1 Commutative algebra (13-XX)
1 Algebraic geometry (14-XX)
1 Nonassociative rings and algebras (17-XX)
1 Real functions (26-XX)
1 Special functions (33-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Integral transforms, operational calculus (44-XX)
1 Quantum theory (81-XX)

Citations by Year