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 Latest Issues 19 (1985) 18 (1984) 17 (1983) 16 (1982) 15 (1981) 14 (1980) 13 (1979) 12 (1978) 11 (1977) 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 all top 5 Fields 161 Computer science (68-XX) 24 Group theory and generalizations (20-XX) 23 Mathematical logic and foundations (03-XX) 14 Combinatorics (05-XX) 12 Information and communication theory, circuits (94-XX) 4 Number theory (11-XX) 3 Associative rings and algebras (16-XX) 3 General topology (54-XX) 2 General algebraic systems (08-XX) 2 Field theory and polynomials (12-XX) 2 Category theory; homological algebra (18-XX) 2 Topological groups, Lie groups (22-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Sequences, series, summability (40-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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