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: 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 Haussler, David 1 Hedrlin, Zdeněk 1 Heilbrunner, Stephan ...and 85 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 151 Publications have been cited 993 times in 828 Documents Cited by ▼ Year ▼ Automates et commutations partielles. (Automata and partial commutations). Zbl 0601.68055Cori, Robert; Perrin, Dominique 76 1985 A semigroup characterization of dot-depth one languages. Zbl 0522.68063Knast, Robert 38 1983 Sur les ensembles de mots infinis engendres par une grammaire algébrique. Zbl 0387.68050Nivat, Maurice 32 1978 Un procédé itératif de dénombrement d’arbres binaires et son application à leur génération aléatoire. Zbl 0565.05037Rémy, Jean-Luc 31 1985 Nombre de sauts et graphes série-parallèles. Zbl 0413.05013Cogis, O.; Habib, M. 30 1979 Two-way multihead automata over a one-letter alphabet. Zbl 0442.68039Monien, Burkhard 25 1980 Mots infinis engendres par une grammaire algébrique. Zbl 0371.68025Nivat, Maurice 24 1977 On the hierarchy of Petri net languages. Zbl 0404.68076Jantzen, Matthias 23 1979 Frontiers of infinite trees. Zbl 0411.68065Courcelle, B. 23 1978 Cônes rationnels commutativement clos. Zbl 0354.68103Latteux, Michel 21 1977 On some context-free languages that are not deterministic ETOL languages. Zbl 0378.68040Ehrenfeucht, A.; Rozenberg, G. 21 1977 Quelques problèmes ouverts en théorie des langages algébriques. Zbl 0434.68056Autebert, J. M.; Beauquier, J.; Boasson, L.; Nivat, M. 20 1979 Systolic tree acceptors. Zbl 0571.68043Culik, Karel II; Salomaa, Arto; Wood, Derick 20 1984 An algorithm for the solution of fixed-point equations for infinite words. Zbl 0433.68062Heilbrunner, Stephan 18 1980 Hiérarchies de concaténation. Zbl 0559.68062Pin, Jean-Eric 18 1984 A mixed theory of information. I: Symmetric, recursive and measurable entropies of randomized systems of events. Zbl 0382.94012Aczél, János; Daroczy, Z. 16 1978 On simple representations of language families. Zbl 0432.68052Culik, Karel II; Maurer, H. A. 15 1979 On the equality sets for homomorphisms on free monoids with two generators. Zbl 0454.20048Čulik, Karel II; Karhumäki, Juhani 15 1980 A new class of balanced search trees: Half-balanced binary search trees. Zbl 0489.68056Olivie, H. J. 15 1982 Some results on finite maximal codes. Zbl 0578.68062De Felice, Clelia; Restivo, Antonio 14 1985 On real time and linear time cellular automata. Zbl 0547.68050Bucher, W.; Čulik, Karel II 13 1984 Théorie des magmoides. II. Zbl 0443.68053Arnold, A.; Dauchet, M. 13 1979 Automates boustrophédon, semi-groupe de Birget et monoïde inversif libre. Zbl 0604.68094Pécuchet, J. P. 13 1985 Transductions rationnelles decroissantes. Zbl 0456.68097Leguy, Jeannine 12 1981 Relational morphisms and operations on recognizable sets. Zbl 0463.20049Straubing, Howard 12 1981 Repetitive strings are not context-free. Zbl 0489.68071Ross, Rockford; Winklmann, Karl 12 1982 Théorie des magmoides. I. Zbl 0391.68037Arnold, A.; Dauchet, M. 12 1978 On the equivalence of compositions of morphisms and inverse morphisms on regular languages. Zbl 0601.68049Karhumäki, J.; Kleijn, H. C. M. 11 1985 Histoires de fichiers. Zbl 0377.68034Francon, Jean 11 1978 On subword complexities of homomorphic images of languages. Zbl 0495.68069Ehrenfeucht, A.; Rozenberg, G. 9 1982 Codes, languages and MOL schemes. Zbl 0369.68045Shyr, H. J.; Thierrin, G. 9 1977 On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C. 9 1984 Langages algébriques et systèmes de reecriture rationnels. Zbl 0498.68048Chottin, Laurent 8 1982 Mots infinis et langages commutatifs. Zbl 0387.68051Latteux, Michel 8 1978 Un langage algébrique particulier. Zbl 0424.68042Boasson, L. 8 1979 Construction de codes indécomposables. (Construction of undecomposable codes). Zbl 0567.68046Vincent, Max 7 1985 Sur les semi-groupes vérifiant le théorème de Kleene. Zbl 0575.20055Reutenauer, Christophe 7 1985 Détermination de la représentation standard d’une série reconnaissable. Zbl 0453.68024Cardon, A.; Crochemore, M. 7 1980 Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems. Zbl 0518.68025Lescanne, Pierre 7 1982 The Brownian motion: a neglected tool for the complexity analysis of sorted tables manipulation. Zbl 0523.68031Louchard, G. 7 1983 On languages satisfying Ogden’s lemma. Zbl 0387.68054Boasson, L.; Horvath, S. 7 1978 Sur le nombre de registres nécessaires à l’évaluation d’une expression arithmétique. Zbl 0547.68041Françon, Jean 6 1984 Une preuve combinatoire de la rationalité d’une série génératrice associée aux arbres. Zbl 0509.05006Chottin, Laurent; Cori, Robert 6 1982 Deux remarques sur un théorème de S. Eilenberg. Zbl 0512.68063Sakarovitch, Jacques 6 1983 Mots infinis de Fibonacci et morphismes iterés. Zbl 0521.20042Pansiot, Jean-Jacques 6 1983 Mots sans repetitions et langages rationnels bornes. Zbl 0371.68023Restivo, A. 6 1977 Some remarks on multihead automata. Zbl 0369.68035Sudborough, I. H. 6 1977 Arbres infinis et systèmes d’équations. Zbl 0406.68017Courcelle, Bruno 6 1979 On context constrained squares and repetitions in a string. Zbl 0543.68067Apostolico, A. 6 1984 On temporal program verification rules. Zbl 0563.68007Kröger, F. 5 1985 Sur l’auto-stabilisation dans un réseau d’ordinateurs. Zbl 0473.68047Tchuente, Maurice 5 1981 Codes avec des mots infinis. Zbl 0498.68053Do Long Van 5 1982 Méthodes d’optimisation pour un problème de théorie des nombres. Zbl 0531.10012Robin, G. 5 1983 Parallel computation on 2-3-trees. Zbl 0531.68017Paul, W.; Vishkin, U.; Wagener, H. 5 1983 Les tests et leur caractérisation syntaxique. Zbl 0364.68018Guessarian, Irene 5 1977 The family of languages satisfying Bar-Hillel’s lemma. Zbl 0387.68053Horvath, Sandor 5 1978 Un modèle fonctionnel des structures de contrôle. Zbl 0389.68015Robinet, B. 5 1977 Data types as lattices: Retractions, closures and projections. Zbl 0394.03019Sanchis, Luis E. 5 1977 Langages tres simples générateurs. Zbl 0405.68063Frougny, Christiane 5 1979 Sur les transductions reconnaissables. Zbl 0423.20053Choffrut, Christian 5 1978 Approximation de séries formelles par des séries rationnelles. Zbl 0549.68052Hespel, Christiane 4 1984 One counter languages and the Chevron operation. Zbl 0441.68081Greibach, S. A. 4 1979 Mots de Lyndon et périodicité. Zbl 0444.20048Duval, Jean-Pierre 4 1980 Über die Darstellbarkeit des syntaktischen Monoides kontextfreier Sprachen. Zbl 0428.68085Hotz, Günter 4 1979 Non-générateurs algébriques et substitution. Zbl 0569.68060Boasson, L. 4 1985 Automates de coût borné sur un alphabet à une lettre. Zbl 0578.68044Gohon, Philippe 4 1985 Nondeterminism and fully abstract models. Zbl 0463.03024Astesiano, Egidio; Costa, Gerardo 4 1980 Une application des notions de centre et index rationnel à certains langages algébriques. Zbl 0505.68033Gabarro, J. 4 1982 Synchronized EOL forms under uniform interpretation. Zbl 0507.68050Maurer, H. A.; Salomaa, A.; Wood, D. 4 1981 Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017Broy, 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.68062Franchi-Zannettacci, M. P. 4 1983 Semantique des structures de contrôle. Zbl 0354.68027Robinet, Bernard; Nozick, Francois 4 1977 Une caractérisation des langages algébriques bornes. Zbl 0371.68024Boasson, L.; Restivo, A. 4 1977 Relative goodness of EOL forms. Zbl 0388.68067Maurer, H. A.; Salomaa, A.; Wood, D. 4 1978 The independence of certain operations on semi-AFLs. Zbl 0388.68068Book, Ronald V.; Greibach, Sheila A. 4 1978 Construction d’un plus petit ordre de simplification. Zbl 0541.68013Jouannaud, J. P.; Kirchner, H. 4 1984 On the Ehrenfeucht conjecture for DOL languages. Zbl 0544.68050Culik, Karel II; Karhumäki, Juhani 4 1983 Complexity of \(\lambda\)-term reductions. Zbl 0424.03009Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.; Saitta, L. 4 1979 Langages de parenthèses, langages N.T.S. et homomorphismes inverses. Zbl 0547.68075Autebert, J.-M.; Boasson, L.; Sénizergues, G. 3 1984 On some properties of the syntactic semigroup of a very pure subsemigroup. Zbl 0437.20053De Luca, Aldo 3 1980 Topologies on free monoids induced by closure operators of a special type. Zbl 0444.68077Prodinger, Helmut 3 1980 Un principe de résolution en logique modale. Zbl 0566.03007Fariñas del Cerro, Luis 3 1984 Rebalancing operations for deletions in AVL-trees. Zbl 0579.68012Tsakalidis, Athanasios K. 3 1985 Semantique des processus communicants. Zbl 0463.68033Arnold, Andre 3 1981 On subdirectly irreducible automata. Zbl 0482.68050Demlova, M.; Demel, J.; Koubek, V. 3 1981 Analysis of a class of graph partitioning problems. Zbl 0489.68066Bertolazzi, P.; Lucertini, M.; Marchetti Spaccamela, A. 3 1982 A game of composing binary relations. Zbl 0509.05011Goralcik, P.; Hedrlin, Z.; Koubek, V.; Ryslinkova, J. 3 1982 Hypergraph systems and their extensions. Zbl 0512.68062Janssens, D.; Rozenberg, G. 3 1983 Independent instances for some undecidable problems. Zbl 0517.03022Calude, Cristian; Paun, Gheorghe 3 1983 Characterizations of the Dyck sets. Zbl 0354.68104Wrathall, Celia 3 1977 The strong independence of substitution and homomorphic replication. Zbl 0387.68048Greibach, S. A. 3 1978 Fuites dans les réseaux de Petri. Zbl 0394.68043Memmi, G. 3 1978 Systemes de deduction pour les arbres et les schemas de programmes. Zbl 0441.68007Enjalbert, P. 2 1980 Complexite de la reduction en logique combinatoire. Zbl 0432.03012Canal, Richard 2 1978 Pure interpretations of EOL forms. Zbl 0434.68059Maurer, H. A.; Rozenberg, G.; Salomaa, A.; Wood, D. 2 1979 Reduction algorithms for some classes of aperiodic monoids. Zbl 0571.20066König, Roman 2 1985 An algorithm for finding a minimal recursive path ordering. Zbl 0578.68029Aït-Kaci, Hassan 2 1985 The theory of invertible algorithms. Zbl 0476.68027Aguzzi, Gianni 2 1981 Modeles non déterministes de types abstraits. Zbl 0491.68013Lescanne, Pierre 2 1982 From LL-regular to LL(1) grammars: transformations, covers and parsing. Zbl 0498.68052Nijholt, Anton 2 1982 Automates et commutations partielles. (Automata and partial commutations). Zbl 0601.68055Cori, 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.05037Rémy, Jean-Luc 31 1985 Some results on finite maximal codes. Zbl 0578.68062De Felice, Clelia; Restivo, Antonio 14 1985 Automates boustrophédon, semi-groupe de Birget et monoïde inversif libre. Zbl 0604.68094Pécuchet, J. P. 13 1985 On the equivalence of compositions of morphisms and inverse morphisms on regular languages. Zbl 0601.68049Karhumäki, J.; Kleijn, H. C. M. 11 1985 Construction de codes indécomposables. (Construction of undecomposable codes). Zbl 0567.68046Vincent, Max 7 1985 Sur les semi-groupes vérifiant le théorème de Kleene. Zbl 0575.20055Reutenauer, Christophe 7 1985 On temporal program verification rules. Zbl 0563.68007Kröger, F. 5 1985 Non-générateurs algébriques et substitution. Zbl 0569.68060Boasson, L. 4 1985 Automates de coût borné sur un alphabet à une lettre. Zbl 0578.68044Gohon, Philippe 4 1985 Rebalancing operations for deletions in AVL-trees. Zbl 0579.68012Tsakalidis, Athanasios K. 3 1985 Reduction algorithms for some classes of aperiodic monoids. Zbl 0571.20066König, Roman 2 1985 An algorithm for finding a minimal recursive path ordering. Zbl 0578.68029Aït-Kaci, Hassan 2 1985 Sur les groupes syntaxiques d’un langage. Zbl 0565.20049Rindone, Giuseppina 1 1985 Search trees and bubble memories. Zbl 0569.68051Flajolet, Philippe; Ottmann, Thomas; Wood, Derick 1 1985 Réseaux systoliques pour des problèmes de mots. Zbl 0569.68063Robert, 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.65001Delahaye, J.-P. 1 1985 Strong iterative pairs and the regularity of context-free languages. Zbl 0601.68053Ehrenfeucht, A.; Rozenberg, G. 1 1985 Systolic tree acceptors. Zbl 0571.68043Culik, Karel II; Salomaa, Arto; Wood, Derick 20 1984 Hiérarchies de concaténation. Zbl 0559.68062Pin, Jean-Eric 18 1984 On real time and linear time cellular automata. Zbl 0547.68050Bucher, W.; Čulik, Karel II 13 1984 On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038Avenhaus, 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.68041Françon, Jean 6 1984 On context constrained squares and repetitions in a string. Zbl 0543.68067Apostolico, A. 6 1984 Approximation de séries formelles par des séries rationnelles. Zbl 0549.68052Hespel, Christiane 4 1984 Construction d’un plus petit ordre de simplification. Zbl 0541.68013Jouannaud, J. P.; Kirchner, H. 4 1984 Langages de parenthèses, langages N.T.S. et homomorphismes inverses. Zbl 0547.68075Autebert, J.-M.; Boasson, L.; Sénizergues, G. 3 1984 Un principe de résolution en logique modale. Zbl 0566.03007Fariñas del Cerro, Luis 3 1984 Grammaires algébriques et monoïdes simplifiables. Zbl 0545.68071Frougny, Christiane 1 1984 Définitions récursives par cas. Zbl 0562.68004Courcelle, B.; Lavandier, F. 1 1984 Charakterisierung redundanzfreier Codes zur Datenverschlüsselung. Zbl 0573.94003Jürgensen, H.; Kunze, M. 1 1984 A semigroup characterization of dot-depth one languages. Zbl 0522.68063Knast, Robert 38 1983 The Brownian motion: a neglected tool for the complexity analysis of sorted tables manipulation. Zbl 0523.68031Louchard, G. 7 1983 Deux remarques sur un théorème de S. Eilenberg. Zbl 0512.68063Sakarovitch, Jacques 6 1983 Mots infinis de Fibonacci et morphismes iterés. Zbl 0521.20042Pansiot, Jean-Jacques 6 1983 Méthodes d’optimisation pour un problème de théorie des nombres. Zbl 0531.10012Robin, G. 5 1983 Parallel computation on 2-3-trees. Zbl 0531.68017Paul, W.; Vishkin, U.; Wagener, H. 5 1983 Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017Broy, 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.68062Franchi-Zannettacci, M. P. 4 1983 On the Ehrenfeucht conjecture for DOL languages. Zbl 0544.68050Culik, Karel II; Karhumäki, Juhani 4 1983 Hypergraph systems and their extensions. Zbl 0512.68062Janssens, D.; Rozenberg, G. 3 1983 Independent instances for some undecidable problems. Zbl 0517.03022Calude, Cristian; Paun, Gheorghe 3 1983 On the separating power of EOL systems. Zbl 0512.68059Ehrenfeucht, A.; Rozenberg, G. 2 1983 The reduction of binary trees by means of an input-restricted deque. Zbl 0523.68054Kemp, R. 2 1983 Right and left invertibility in lambda-beta-calculus. Zbl 0523.03010Margaria, I.; Zacchi, M. 2 1983 Syntactic congruences and syntactic algebras. Zbl 0527.20052Arz, Johannes 2 1983 Characterization of rational and algebraic power series. Zbl 0512.68073Wechler, Wolfgang 1 1983 Relational data base design using refinement rules. Zbl 0519.68083Batini, C.; D’Atri, A. 1 1983 Probabilistic analysis of two Euclidean location problems. Zbl 0523.68032Marchetti-Spaccamela, A.; Talamo, M. 1 1983 Topologies on free monoids induced by families of languages. Zbl 0533.20041Prodinger, Helmut 1 1983 A new class of balanced search trees: Half-balanced binary search trees. Zbl 0489.68056Olivie, H. J. 15 1982 Repetitive strings are not context-free. Zbl 0489.68071Ross, Rockford; Winklmann, Karl 12 1982 On subword complexities of homomorphic images of languages. Zbl 0495.68069Ehrenfeucht, A.; Rozenberg, G. 9 1982 Langages algébriques et systèmes de reecriture rationnels. Zbl 0498.68048Chottin, Laurent 8 1982 Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems. Zbl 0518.68025Lescanne, Pierre 7 1982 Une preuve combinatoire de la rationalité d’une série génératrice associée aux arbres. Zbl 0509.05006Chottin, Laurent; Cori, Robert 6 1982 Codes avec des mots infinis. Zbl 0498.68053Do Long Van 5 1982 Une application des notions de centre et index rationnel à certains langages algébriques. Zbl 0505.68033Gabarro, J. 4 1982 Analysis of a class of graph partitioning problems. Zbl 0489.68066Bertolazzi, P.; Lucertini, M.; Marchetti Spaccamela, A. 3 1982 A game of composing binary relations. Zbl 0509.05011Goralcik, P.; Hedrlin, Z.; Koubek, V.; Ryslinkova, J. 3 1982 Modeles non déterministes de types abstraits. Zbl 0491.68013Lescanne, Pierre 2 1982 From LL-regular to LL(1) grammars: transformations, covers and parsing. Zbl 0498.68052Nijholt, Anton 2 1982 On simple matrix languages versus scattered context languages. Zbl 0505.68034Paun, Gheorghe 2 1982 Topologies sur des espaces ordonnes. Zbl 0517.54026Betrema, J. 2 1982 A probabilistic analysis of a new satisfiability algorithm. Zbl 0489.68038Apolloni, B.; Di Gregorio, S. 1 1982 Indécidabilité de la condition IRS. Zbl 0493.68075Autebert, Jean-Michel; Beauquier, Joffroy; Boasson, Luc; Latteux, Michel 1 1982 A note on the undecidability of contextfreeness. Zbl 0493.68078Albert, J. 1 1982 Series algébriques solutions d’équations linéaires avec opérateurs. Zbl 0493.68080Dulucq, Serge 1 1982 Les modalites de la correction totale. Zbl 0506.03004Farinas del Cerro, Luis 1 1982 Transductions rationnelles decroissantes. Zbl 0456.68097Leguy, Jeannine 12 1981 Relational morphisms and operations on recognizable sets. Zbl 0463.20049Straubing, Howard 12 1981 Sur l’auto-stabilisation dans un réseau d’ordinateurs. Zbl 0473.68047Tchuente, Maurice 5 1981 Synchronized EOL forms under uniform interpretation. Zbl 0507.68050Maurer, H. A.; Salomaa, A.; Wood, D. 4 1981 Semantique des processus communicants. Zbl 0463.68033Arnold, Andre 3 1981 On subdirectly irreducible automata. Zbl 0482.68050Demlova, M.; Demel, J.; Koubek, V. 3 1981 The theory of invertible algorithms. Zbl 0476.68027Aguzzi, Gianni 2 1981 Systemes de deduction pour les arbres et les schemas de programme. II. Zbl 0464.68019Enjalbert, P. 1 1981 Arbitrary weight changes in dynamic trees. Zbl 0467.68022Mehlhorn, Kurt 1 1981 Closure properties of certain families of formal languages with respect to a generalization of cyclic closure. Zbl 0467.68066Brandstädt, Andreas 1 1981 A theory of complexity of monadic recursion schemes. Zbl 0469.68050Dikovskij, A. Ja. 1 1981 An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. Zbl 0494.20020Avenhaus, J.; Madlener, K. 1 1981 Two-way multihead automata over a one-letter alphabet. Zbl 0442.68039Monien, Burkhard 25 1980 An algorithm for the solution of fixed-point equations for infinite words. Zbl 0433.68062Heilbrunner, Stephan 18 1980 On the equality sets for homomorphisms on free monoids with two generators. Zbl 0454.20048Čulik, Karel II; Karhumäki, Juhani 15 1980 Détermination de la représentation standard d’une série reconnaissable. Zbl 0453.68024Cardon, A.; Crochemore, M. 7 1980 Mots de Lyndon et périodicité. Zbl 0444.20048Duval, Jean-Pierre 4 1980 Nondeterminism and fully abstract models. Zbl 0463.03024Astesiano, Egidio; Costa, Gerardo 4 1980 On some properties of the syntactic semigroup of a very pure subsemigroup. Zbl 0437.20053De Luca, Aldo 3 1980 Topologies on free monoids induced by closure operators of a special type. Zbl 0444.68077Prodinger, Helmut 3 1980 Systemes de deduction pour les arbres et les schemas de programmes. Zbl 0441.68007Enjalbert, P. 2 1980 Factorisation des polynômes à plusieurs variables. Zbl 0441.12004Viry, Guy 1 1980 Verschränkte Homomorphismen formaler Sprachen. Zbl 0442.68080Hotz, Günter 1 1980 Some consequences of a result of Ehrenfeucht and Rozenberg. Zbl 0429.68066Paun, Gheorghe 1 1980 Construction, evaluation et amelioration systematiques de structures de données. Zbl 0434.68050Remy, Jean-Luc 1 1980 Une généralisation de la théorie des types en \(\lambda\)-calcul. (Premiere partie). Zbl 0446.03010Salle, Patrick 1 1980 Classes of languages proof against regular pumping. Zbl 0449.68035Sommerhalder, R. 1 1980 Grammaires parenthesees et bilangages réguliers. Zbl 0452.68072Marchand, P. 1 1980 Computing of graphs of relations using generative grammars. Zbl 0486.68073Simovici, Dan A. 1 1980 Nombre de sauts et graphes série-parallèles. Zbl 0413.05013Cogis, O.; Habib, M. 30 1979 ...and 51 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 742 Authors 23 Rozenberg, Grzegorz 20 Latteux, Michel 16 Pin, Jean-Eric 15 Boasson, Luc 15 Diekert, Volker 14 Karhumaki, Juhani 13 Ehrenfeucht, Andrzej 12 Ibarra, Oscar H. 11 Culik, Karel II 10 Blanchet-Sadri, Francine 10 Courcelle, Bruno 10 Restivo, Antonio 9 Engelfriet, Joost 8 Beauquier, Joffroy 8 De Felice, Clelia 8 Ésik, Zoltán 8 Otto, Friedrich 8 Weil, Pascal 8 Wood, Derick 7 Autebert, Jean-Michel 7 Carton, Olivier 7 Fachini, Emanuela 7 Frougny, Christiane 7 Jürgensen, Helmut 7 Mitrana, Victor 7 Nivat, Maurice 7 Sakarovitch, Jacques 7 Thérien, Denis 7 Verraedt, Raymond 6 Arnold, André 6 Finkel, Olivier 6 Flajolet, Philippe 6 Habib, Michel A. 6 Iván, Szabolcs 6 Monti, Angelo 6 Napoli, Margherita 6 Okhotin, Alexander 6 Salomaa, Arto Kustaa 6 Sénizergues, Géraud 5 Choffrut, Christian 5 Clerbout, Mireille 5 Do Long Van 5 Elder, Murray J. 5 Gastin, Paul 5 Gruska, Jozef 5 Guaiana, Giovanna 5 Jantzen, Matthias 5 Kalampakas, Antonios 5 Louchard, Guy 5 Place, Thomas 5 Reutenauer, Christophe 5 Rival, Ivan 5 Rupert, C. P. 5 Salemi, Sergio 5 Schott, René 5 Shallit, Jeffrey O. 5 Tarjan, Robert Endre 5 Timmerman, Erick 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 de Luca, Aldo 4 Droste, Manfred 4 Ebanks, Bruce R. 4 Gabarró, Joaquim 4 Hoogeboom, Hendrik Jan 4 Kannappan, Palaniappan 4 Maon, Yael 4 Martín-Vide, Carlos 4 Parente, Domenico 4 Pierre, Laurent 4 Reidenbach, Daniel 4 Roos, Yves 4 Rozoy, Brigitte 4 Schrader, Rainer 4 Slutzki, Giora 4 Straubing, Howard 4 Vogler, Heiko 4 Zaguia, Nejib 4 Zeitoun, Marc 4 Zetzsche, Georg 3 Alonso, Laurent 3 Bartha, Miklós 3 Birget, Jean-Camille 3 Bozapalidis, Symeon 3 Bucher, Walter 3 Carpi, Arturo 3 Chrobak, Marek 3 D’Alessandro, Flavio 3 Day, Joel D. 3 Dershowitz, Nachum 3 Faigle, Ulrich 3 Fleischer, Lukas 3 Gelle, Kitti ...and 642 more Authors all top 5 Cited in 95 Journals 245 Theoretical Computer Science 53 RAIRO. Informatique Théorique et Applications 52 RAIRO, Informatique Théorique 44 Information Processing Letters 34 Journal of Computer and System Sciences 33 Information and Computation 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 8 RAIRO. Theoretical Informatics and Applications 7 Journal of Symbolic Computation 6 Journal of Algebra 6 Aequationes Mathematicae 6 Theory of Computing Systems 5 International Journal of Algebra and Computation 4 Journal of Mathematical Analysis and Applications 4 Journal of Combinatorial Theory. Series A 4 Kybernetika 4 Advances in Applied Mathematics 4 Logical Methods in Computer Science 3 Calcolo 3 Fuzzy Sets and Systems 3 Journal of Soviet Mathematics 3 Probability Theory and Related Fields 3 Algorithmica 3 Distributed Computing 3 Journal of Automata, Languages and Combinatorics 2 Metrika 2 The Annals of Probability 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 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 Journal of Combinatorial Optimization 2 Annals of Combinatorics 2 The Journal of Logic and Algebraic Programming 2 Journal de l’École Polytechnique – Mathématiques 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 Applied Mathematics and Computation 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 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 Formal Aspects of Computing 1 Annals of Operations Research 1 International Journal of Foundations of Computer Science 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 The Ramanujan Journal 1 Fundamenta Informaticae 1 RAIRO. Operations Research 1 Journal of Control Theory and Applications 1 Computer Science Review 1 Open Mathematics 1 The Art of Discrete and Applied Mathematics all top 5 Cited in 33 Fields 692 Computer science (68-XX) 120 Group theory and generalizations (20-XX) 94 Mathematical logic and foundations (03-XX) 70 Combinatorics (05-XX) 38 Order, lattices, ordered algebraic structures (06-XX) 38 Information and communication theory, circuits (94-XX) 18 General algebraic systems (08-XX) 15 Operations research, mathematical programming (90-XX) 14 Probability theory and stochastic processes (60-XX) 11 Number theory (11-XX) 11 Category theory; homological algebra (18-XX) 10 Associative rings and algebras (16-XX) 10 Difference and functional equations (39-XX) 6 General topology (54-XX) 5 History and biography (01-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Topological groups, Lie groups (22-XX) 2 Measure and integration (28-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Convex and discrete geometry (52-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-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 Functions of a complex variable (30-XX) 1 Quantum theory (81-XX) Citations by Year