Pécuchet, J. P. Automates boustrophédon, semi-groupe de Birget et monoïde inversif libre. (French) Zbl 0604.68094 RAIRO, Inf. Théor. 19, 71-100 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. P. Pécuchet}, RAIRO, Inf. Théor. 19, 71--100 (1985; Zbl 0604.68094) Full Text: EuDML
Cori, Robert; Perrin, Dominique Automates et commutations partielles. (Automata and partial commutations). (French) Zbl 0601.68055 RAIRO, Inf. Théor. 19, 21-32 (1985). MSC: 68Q45 20M05 20M35 PDFBibTeX XMLCite \textit{R. Cori} and \textit{D. Perrin}, RAIRO, Inf. Théor. 19, 21--32 (1985; Zbl 0601.68055) Full Text: EuDML
Ehrenfeucht, A.; Rozenberg, G. Strong iterative pairs and the regularity of context-free languages. (English) Zbl 0601.68053 RAIRO, Inf. Théor. 19, 43-56 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, RAIRO, Inf. Théor. 19, 43--56 (1985; Zbl 0601.68053) Full Text: EuDML
Karhumäki, J.; Kleijn, H. C. M. On the equivalence of compositions of morphisms and inverse morphisms on regular languages. (English) Zbl 0601.68049 RAIRO, Inf. Théor. 19, 203-211 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Karhumäki} and \textit{H. C. M. Kleijn}, RAIRO, Inf. Théor. 19, 203--211 (1985; Zbl 0601.68049) Full Text: EuDML
Carvallo, Michel Sur la minimisation d’une expression représentant une famille de fonctions booléennes. (French) Zbl 0588.94016 RAIRO, Inf. Théor. 19, 331-336 (1985). Reviewer: Leon Livovschi (Kanata/Ontario) MSC: 94C10 PDFBibTeX XMLCite \textit{M. Carvallo}, RAIRO, Inf. Théor. 19, 331--336 (1985; Zbl 0588.94016) Full Text: EuDML
Delahaye, J.-P. Sur quelques limitations des algorithmes dans le traitement des suites. (French) Zbl 0582.65001 RAIRO, Inf. Théor. 19, 3-20 (1985). Reviewer: P.Wynn MSC: 65B05 65D15 40A05 PDFBibTeX XMLCite \textit{J. P. Delahaye}, RAIRO, Inf. Théor. 19, 3--20 (1985; Zbl 0582.65001) Full Text: EuDML
Tsakalidis, Athanasios K. Rebalancing operations for deletions in AVL-trees. (English) Zbl 0579.68012 RAIRO, Inf. Théor. 19, 323-329 (1985). MSC: 68P05 PDFBibTeX XMLCite \textit{A. K. Tsakalidis}, RAIRO, Inf. Théor. 19, 323--329 (1985; Zbl 0579.68012) Full Text: EuDML
De Felice, Clelia; Restivo, Antonio Some results on finite maximal codes. (English) Zbl 0578.68062 RAIRO, Inf. Théor. 19, 383-403 (1985). MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{C. De Felice} and \textit{A. Restivo}, RAIRO, Inf. Théor. 19, 383--403 (1985; Zbl 0578.68062) Full Text: EuDML
Černý, Anton On a class of infinite words with bounded repetitions. (English) Zbl 0578.68058 RAIRO, Inf. Théor. 19, 337-349 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Černý}, RAIRO, Inf. Théor. 19, 337--349 (1985; Zbl 0578.68058) Full Text: EuDML
Gohon, Philippe Automates de coût borné sur un alphabet à une lettre. (French) Zbl 0578.68044 RAIRO, Inf. Théor. 19, 351-357 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Gohon}, RAIRO, Inf. Théor. 19, 351--357 (1985; Zbl 0578.68044) Full Text: EuDML
Aït-Kaci, Hassan An algorithm for finding a minimal recursive path ordering. (English) Zbl 0578.68029 RAIRO, Inf. Théor. 19, 359-382 (1985). MSC: 68Q65 PDFBibTeX XMLCite \textit{H. Aït-Kaci}, RAIRO, Inf. Théor. 19, 359--382 (1985; Zbl 0578.68029) Full Text: EuDML
Reutenauer, Christophe Sur les semi-groupes vérifiant le théorème de Kleene. (French) Zbl 0575.20055 RAIRO, Inf. Théor. 19, 281-291 (1985). Reviewer: G.Pollák MSC: 20M35 20M05 PDFBibTeX XMLCite \textit{C. Reutenauer}, RAIRO, Inf. Théor. 19, 281--291 (1985; Zbl 0575.20055) Full Text: EuDML
König, Roman Reduction algorithms for some classes of aperiodic monoids. (English) Zbl 0571.20066 RAIRO, Inf. Théor. 19, 233-260 (1985). MSC: 20M35 68Q70 20M05 68Q45 20M07 20M15 PDFBibTeX XMLCite \textit{R. König}, RAIRO, Inf. Théor. 19, 233--260 (1985; Zbl 0571.20066) Full Text: EuDML
Robert, Yves; Tchuente, Maurice Réseaux systoliques pour des problèmes de mots. (French) Zbl 0569.68063 RAIRO, Inf. Théor. 19, 107-123 (1985). MSC: 68Q45 68Q80 PDFBibTeX XMLCite \textit{Y. Robert} and \textit{M. Tchuente}, RAIRO, Inf. Théor. 19, 107--123 (1985; Zbl 0569.68063) Full Text: EuDML
Boasson, L. Non-générateurs algébriques et substitution. (French) Zbl 0569.68060 RAIRO, Inf. Théor. 19, 125-136 (1985). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Boasson}, RAIRO, Inf. Théor. 19, 125--136 (1985; Zbl 0569.68060) Full Text: EuDML
Flajolet, Philippe; Ottmann, Thomas; Wood, Derick Search trees and bubble memories. (English) Zbl 0569.68051 RAIRO, Inf. Théor. 19, 137-164 (1985). MSC: 68P10 PDFBibTeX XMLCite \textit{P. Flajolet} et al., RAIRO, Inf. Théor. 19, 137--164 (1985; Zbl 0569.68051) Full Text: EuDML
Pichat, E. Algorithme de décomposition de clés. (French) Zbl 0568.68075 RAIRO, Inf. Théor. 19, 213-232 (1985). MSC: 68P20 PDFBibTeX XMLCite \textit{E. Pichat}, RAIRO, Inf. Théor. 19, 213--232 (1985; Zbl 0568.68075) Full Text: EuDML
Pelin, Alex A formalism for treating equivalence of recursive procedures. (English) Zbl 0568.68005 RAIRO, Inf. Théor. 19, 293-313 (1985). MSC: 68N01 PDFBibTeX XMLCite \textit{A. Pelin}, RAIRO, Inf. Théor. 19, 293--313 (1985; Zbl 0568.68005) Full Text: EuDML
Vincent, Max Construction de codes indécomposables. (Construction of undecomposable codes). (French) Zbl 0567.68046 RAIRO, Inf. Théor. 19, 165-178 (1985). MSC: 68Q45 20M35 94A45 20M05 PDFBibTeX XMLCite \textit{M. Vincent}, RAIRO, Inf. Théor. 19, 165--178 (1985; Zbl 0567.68046) Full Text: EuDML
Rindone, Giuseppina Sur les groupes syntaxiques d’un langage. (French) Zbl 0565.20049 RAIRO, Inf. Théor. 19, 57-70 (1985). Reviewer: T.J.Harju MSC: 20M35 20M05 68Q45 PDFBibTeX XMLCite \textit{G. Rindone}, RAIRO, Inf. Théor. 19, 57--70 (1985; Zbl 0565.20049) Full Text: EuDML
Rémy, Jean-Luc Un procédé itératif de dénombrement d’arbres binaires et son application à leur génération aléatoire. (French) Zbl 0565.05037 RAIRO, Inf. Théor. 19, 179-195 (1985). MSC: 05C30 05A15 05C05 PDFBibTeX XMLCite \textit{J.-L. Rémy}, RAIRO, Inf. Théor. 19, 179--195 (1985; Zbl 0565.05037) Full Text: EuDML
Kröger, F. On temporal program verification rules. (English) Zbl 0563.68007 RAIRO, Inf. Théor. 19, 261-280 (1985). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Kröger}, RAIRO, Inf. Théor. 19, 261--280 (1985; Zbl 0563.68007) Full Text: EuDML
Jürgensen, H.; Kunze, M. Charakterisierung redundanzfreier Codes zur Datenverschlüsselung. (German) Zbl 0573.94003 RAIRO, Inf. Théor. 18, 131-146 (1984). MSC: 94A29 94B40 PDFBibTeX XMLCite \textit{H. Jürgensen} and \textit{M. Kunze}, RAIRO, Inf. Théor. 18, 131--146 (1984; Zbl 0573.94003) Full Text: EuDML
Culik, Karel II; Salomaa, Arto; Wood, Derick Systolic tree acceptors. (English) Zbl 0571.68043 RAIRO, Inf. Théor. 18, 53-69 (1984). Reviewer: M.Kunze MSC: 68Q45 68Q80 68Q05 PDFBibTeX XMLCite \textit{K. Culik II} et al., RAIRO, Inf. Théor. 18, 53--69 (1984; Zbl 0571.68043) Full Text: EuDML
Nait Abdallah, M. A. Data types as algorithms. (English) Zbl 0569.68025 RAIRO, Inf. Théor. 18, 3-22 (1984). MSC: 68W99 68P05 PDFBibTeX XMLCite \textit{M. A. Nait Abdallah}, RAIRO, Inf. Théor. 18, 3--22 (1984; Zbl 0569.68025) Full Text: EuDML
Fariñas del Cerro, Luis Un principe de résolution en logique modale. (French) Zbl 0566.03007 RAIRO, Inf. Théor. 18, 161-170 (1984). Reviewer: C.Masalagiu MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{L. Fariñas del Cerro}, RAIRO, Inf. Théor. 18, 161--170 (1984; Zbl 0566.03007) Full Text: EuDML
Ehrenfeucht, Andrzej; Haussler, David; Rozenberg, Grzegorz On ambiguity in DOS systems. (English) Zbl 0565.68068 RAIRO, Inf. Théor. 18, 279-295 (1984). Reviewer: P.Jirků MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., RAIRO, Inf. Théor. 18, 279--295 (1984; Zbl 0565.68068) Full Text: EuDML
Courcelle, B.; Lavandier, F. Définitions récursives par cas. (French) Zbl 0562.68004 RAIRO, Inf. Théor. 18, 91-129 (1984). Reviewer: C.Calude MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle} and \textit{F. Lavandier}, RAIRO, Inf. Théor. 18, 91--129 (1984; Zbl 0562.68004) Full Text: EuDML
Prodinger, Helmut Analysis of an algorithm to construct Fibonacci partitions. (English) Zbl 0562.05006 RAIRO, Inf. Théor. 18, 387-394 (1984). Reviewer: M.Cheema MSC: 05A17 05A15 11P81 PDFBibTeX XMLCite \textit{H. Prodinger}, RAIRO, Inf. Théor. 18, 387--394 (1984; Zbl 0562.05006) Full Text: EuDML
Pin, Jean-Eric Hiérarchies de concaténation. (French) Zbl 0559.68062 RAIRO, Inf. Théor. 18, 23-46 (1984). Reviewer: G.Păun MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{J.-E. Pin}, RAIRO, Inf. Théor. 18, 23--46 (1984; Zbl 0559.68062) Full Text: EuDML
Graf, Susanne On Lamport’s comparison between linear and branching time temporal logic. (English) Zbl 0551.68033 RAIRO, Inf. Théor. 18, 345-353 (1984). Reviewer: J.Zlatuska MSC: 68Q65 68Q60 03B45 68N25 PDFBibTeX XMLCite \textit{S. Graf}, RAIRO, Inf. Théor. 18, 345--353 (1984; Zbl 0551.68033) Full Text: EuDML
Hespel, Christiane Approximation de séries formelles par des séries rationnelles. (French) Zbl 0549.68052 RAIRO, Inf. Théor. 18, 241-258 (1984). Reviewer: C.Reutenauer MSC: 68Q70 16S10 PDFBibTeX XMLCite \textit{C. Hespel}, RAIRO, Inf. Théor. 18, 241--258 (1984; Zbl 0549.68052) Full Text: EuDML
Stenger, Hans-Jürgen Algebraic characterisations of NTIME(F) and NTIME(F,A). (English) Zbl 0547.68080 RAIRO, Inf. Théor. 18, 365-385 (1984). MSC: 68Q45 68Q25 03D05 03D10 03D15 PDFBibTeX XMLCite \textit{H.-J. Stenger}, RAIRO, Inf. Théor. 18, 365--385 (1984; Zbl 0547.68080) Full Text: EuDML
Autebert, J.-M.; Boasson, L.; Sénizergues, G. Langages de parenthèses, langages N.T.S. et homomorphismes inverses. (French) Zbl 0547.68075 RAIRO, Inf. Théor. 18, 327-344 (1984). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. M. Autebert} et al., RAIRO, Inf. Théor. 18, 327--344 (1984; Zbl 0547.68075) Full Text: EuDML
Bucher, W.; Čulik, Karel II On real time and linear time cellular automata. (English) Zbl 0547.68050 RAIRO, Inf. Théor. 18, 307-325 (1984). MSC: 68Q80 68Q45 PDFBibTeX XMLCite \textit{W. Bucher} and \textit{K. Čulik II}, RAIRO, Inf. Théor. 18, 307--325 (1984; Zbl 0547.68050) Full Text: EuDML
Françon, Jean Sur le nombre de registres nécessaires à l’évaluation d’une expression arithmétique. (French) Zbl 0547.68041 RAIRO, Inf. Théor. 18, 355-364 (1984). MSC: 68W30 05C05 11A55 11B37 68R10 PDFBibTeX XMLCite \textit{J. Françon}, RAIRO, Inf. Théor. 18, 355--364 (1984; Zbl 0547.68041) Full Text: EuDML
Indermark, K. Reduction semantics for rational schemes. (English) Zbl 0546.68018 RAIRO, Inf. Théor. 18, 209-223 (1984). MSC: 68Q65 68N01 PDFBibTeX XMLCite \textit{K. Indermark}, RAIRO, Inf. Théor. 18, 209--223 (1984; Zbl 0546.68018) Full Text: EuDML
Frougny, Christiane Grammaires algébriques et monoïdes simplifiables. (French) Zbl 0545.68071 RAIRO, Inf. Théor. 18, 225-239 (1984). MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{C. Frougny}, RAIRO, Inf. Théor. 18, 225--239 (1984; Zbl 0545.68071) Full Text: EuDML
Apostolico, A. On context constrained squares and repetitions in a string. (English) Zbl 0543.68067 RAIRO, Inf. Théor. 18, 147-158 (1984). MSC: 68T99 68Q25 PDFBibTeX XMLCite \textit{A. Apostolico}, RAIRO, Inf. Théor. 18, 147--158 (1984; Zbl 0543.68067) Full Text: EuDML
Bak, Piotr A fast method of deadlock avoidance. (English) Zbl 0543.68017 RAIRO, Inf. Théor. 18, 71-80 (1984). MSC: 68N25 PDFBibTeX XMLCite \textit{P. Bak}, RAIRO, Inf. Théor. 18, 71--80 (1984; Zbl 0543.68017) Full Text: EuDML
Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C. On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. (English) Zbl 0542.20038 RAIRO, Inf. Théor. 18, 47-52 (1984). Reviewer: D.B.McAlister MSC: 20M10 20M14 PDFBibTeX XMLCite \textit{J. Avenhaus} et al., RAIRO, Inf. Théor. 18, 47--52 (1984; Zbl 0542.20038) Full Text: EuDML
Alaiwan, H. Langages persistants. (English) Zbl 0541.68050 RAIRO, Inf. Théor. 18, 259-278 (1984). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Alaiwan}, RAIRO, Inf. Théor. 18, 259--278 (1984; Zbl 0541.68050) Full Text: EuDML
Jouannaud, J. P.; Kirchner, H. Construction d’un plus petit ordre de simplification. (English) Zbl 0541.68013 RAIRO, Inf. Théor. 18, 191-208 (1984). MSC: 68Q65 03B25 PDFBibTeX XMLCite \textit{J. P. Jouannaud} and \textit{H. Kirchner}, RAIRO, Inf. Théor. 18, 191--208 (1984; Zbl 0541.68013) Full Text: EuDML
Soria, Michèle Une extension des langages déterministes. (French) Zbl 0545.68068 RAIRO, Inf. Théor. 17, 301-319 (1983). Reviewer: L.Olaru MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Soria}, RAIRO, Inf. Théor. 17, 301--319 (1983; Zbl 0545.68068) Full Text: EuDML
Culik, Karel II; Karhumäki, Juhani On the Ehrenfeucht conjecture for DOL languages. (English) Zbl 0544.68050 RAIRO, Inf. Théor. 17, 205-230 (1983). Reviewer: G.Orman MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{J. Karhumäki}, RAIRO, Inf. Théor. 17, 205--230 (1983; Zbl 0544.68050) Full Text: EuDML
Prodinger, Helmut Topologies on free monoids induced by families of languages. (English) Zbl 0533.20041 RAIRO, Inf. Théor. 17, 285-290 (1983). Reviewer: J.Chvalina MSC: 20M35 54A05 22A30 PDFBibTeX XMLCite \textit{H. Prodinger}, RAIRO, Inf. Théor. 17, 285--290 (1983; Zbl 0533.20041) Full Text: EuDML
Paul, W.; Vishkin, U.; Wagener, H. Parallel computation on 2-3-trees. (English) Zbl 0531.68017 RAIRO, Inf. Théor. 17, 397-404 (1983). MSC: 68P10 68Q05 68N25 PDFBibTeX XMLCite \textit{W. Paul} et al., RAIRO, Inf. Théor. 17, 397--404 (1983; Zbl 0531.68017) Full Text: EuDML
Robin, G. Méthodes d’optimisation pour un problème de théorie des nombres. (French) Zbl 0531.10012 RAIRO, Inf. Théor. 17, 239-247 (1983). Reviewer: M.Frumkin MSC: 11N25 90C10 11-04 PDFBibTeX XMLCite \textit{G. Robin}, RAIRO, Inf. Théor. 17, 239--247 (1983; Zbl 0531.10012) Full Text: EuDML
Arz, Johannes Syntactic congruences and syntactic algebras. (English) Zbl 0527.20052 RAIRO, Inf. Théor. 17, 231-238 (1983). MSC: 20M35 68Q45 20M25 PDFBibTeX XMLCite \textit{J. Arz}, RAIRO, Inf. Théor. 17, 231--238 (1983; Zbl 0527.20052) Full Text: EuDML
Franchi-Zannettacci, M. P. 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). (French) Zbl 0523.68062 RAIRO, Inf. Théor. 17, 343-364 (1983). MSC: 68Q45 92D10 PDFBibTeX XMLCite \textit{M. P. Franchi-Zannettacci}, RAIRO, Inf. Théor. 17, 343--364 (1983; Zbl 0523.68062) Full Text: EuDML
Kemp, R. The reduction of binary trees by means of an input-restricted deque. (English) Zbl 0523.68054 RAIRO, Inf. Théor. 17, 249-284 (1983). MSC: 68R10 68N99 68Q25 PDFBibTeX XMLCite \textit{R. Kemp}, RAIRO, Inf. Théor. 17, 249--284 (1983; Zbl 0523.68054) Full Text: EuDML
Marchetti-Spaccamela, A.; Talamo, M. Probabilistic analysis of two Euclidean location problems. (English) Zbl 0523.68032 RAIRO, Inf. Théor. 17, 387-395 (1983). MSC: 68Q25 90B05 PDFBibTeX XMLCite \textit{A. Marchetti-Spaccamela} and \textit{M. Talamo}, RAIRO, Inf. Théor. 17, 387--395 (1983; Zbl 0523.68032) Full Text: EuDML
Louchard, G. The Brownian motion: a neglected tool for the complexity analysis of sorted tables manipulation. (English) Zbl 0523.68031 RAIRO, Inf. Théor. 17, 365-385 (1983). MSC: 68Q25 68P10 68W99 PDFBibTeX XMLCite \textit{G. Louchard}, RAIRO, Inf. Théor. 17, 365--385 (1983; Zbl 0523.68031) Full Text: EuDML
Margaria, I.; Zacchi, M. Right and left invertibility in lambda-beta-calculus. (English) Zbl 0523.03010 RAIRO, Inf. Théor. 17, 71-88 (1983). MSC: 03B40 PDFBibTeX XMLCite \textit{I. Margaria} and \textit{M. Zacchi}, RAIRO, Inf. Théor. 17, 71--88 (1983; Zbl 0523.03010) Full Text: EuDML
Knast, Robert A semigroup characterization of dot-depth one languages. (English) Zbl 0522.68063 RAIRO, Inf. Théor. 17, 321-330 (1983). MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{R. Knast}, RAIRO, Inf. Théor. 17, 321--330 (1983; Zbl 0522.68063) Full Text: EuDML
Pansiot, Jean-Jacques Mots infinis de Fibonacci et morphismes iterés. (French) Zbl 0521.20042 RAIRO, Inf. Théor. 17, 131-135 (1983). MSC: 20M05 20M15 20M35 PDFBibTeX XMLCite \textit{J.-J. Pansiot}, RAIRO, Inf. Théor. 17, 131--135 (1983; Zbl 0521.20042) Full Text: EuDML
Batini, C.; D’Atri, A. Relational data base design using refinement rules. (English) Zbl 0519.68083 RAIRO, Inf. Théor. 17, 97-119 (1983). MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{C. Batini} and \textit{A. D'Atri}, RAIRO, Inf. Théor. 17, 97--119 (1983; Zbl 0519.68083) Full Text: EuDML
Calude, Cristian; Paun, Gheorghe Independent instances for some undecidable problems. (English) Zbl 0517.03022 RAIRO, Inf. Théor. 17, 49-54 (1983). MSC: 03F25 03F99 03D99 PDFBibTeX XMLCite \textit{C. Calude} and \textit{G. Paun}, RAIRO, Inf. Théor. 17, 49--54 (1983; Zbl 0517.03022) Full Text: EuDML
Broy, Manfred; Wirsing, Martin Algebraic definition of a functional programming language and its semantic models. (English) Zbl 0515.68017 RAIRO, Inf. Théor. 17, 137-161 (1983). MSC: 68P05 68N01 PDFBibTeX XMLCite \textit{M. Broy} and \textit{M. Wirsing}, RAIRO, Inf. Théor. 17, 137--161 (1983; Zbl 0515.68017) Full Text: EuDML
Wechler, Wolfgang Characterization of rational and algebraic power series. (English) Zbl 0512.68073 RAIRO, Inf. Théor. 17, 3-11 (1983). MSC: 68T99 13F25 PDFBibTeX XMLCite \textit{W. Wechler}, RAIRO, Inf. Théor. 17, 3--11 (1983; Zbl 0512.68073) Full Text: EuDML
Levi, G.; Pegna, A. M. Top-down mathematical semantics and symbolic execution. (English) Zbl 0512.68067 RAIRO, Inf. Théor. 17, 55-70 (1983). MSC: 68Q55 PDFBibTeX XMLCite \textit{G. Levi} and \textit{A. M. Pegna}, RAIRO, Inf. Théor. 17, 55--70 (1983; Zbl 0512.68067) Full Text: EuDML
Sakarovitch, Jacques Deux remarques sur un théorème de S. Eilenberg. (French) Zbl 0512.68063 RAIRO, Inf. Théor. 17, 23-48 (1983). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Sakarovitch}, RAIRO, Inf. Théor. 17, 23--48 (1983; Zbl 0512.68063) Full Text: EuDML
Janssens, D.; Rozenberg, G. Hypergraph systems and their extensions. (English) Zbl 0512.68062 RAIRO, Inf. Théor. 17, 163-196 (1983). MSC: 68Q45 05C65 PDFBibTeX XMLCite \textit{D. Janssens} and \textit{G. Rozenberg}, RAIRO, Inf. Théor. 17, 163--196 (1983; Zbl 0512.68062) Full Text: EuDML
Ehrenfeucht, A.; Rozenberg, G. On the separating power of EOL systems. (English) Zbl 0512.68059 RAIRO, Inf. Théor. 17, 13-22 (1983). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, RAIRO, Inf. Théor. 17, 13--22 (1983; Zbl 0512.68059) Full Text: EuDML
Brandstaedt, Andreas Space classes, intersection of languages and bounded erasing homomorphisms. (English) Zbl 0512.68055 RAIRO, Inf. Théor. 17, 121-130 (1983). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Brandstaedt}, RAIRO, Inf. Théor. 17, 121--130 (1983; Zbl 0512.68055) Full Text: EuDML
Lescanne, Pierre Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems. (English) Zbl 0518.68025 RAIRO, Inf. Théor. 16, 331-347 (1982). MSC: 68Q65 PDFBibTeX XMLCite \textit{P. Lescanne}, RAIRO, Inf. Théor. 16, 331--347 (1982; Zbl 0518.68025) Full Text: EuDML
Betrema, J. Topologies sur des espaces ordonnes. (French) Zbl 0517.54026 RAIRO, Inf. Théor. 16, 165-182 (1982). MSC: 54F05 06A06 54C08 PDFBibTeX XMLCite \textit{J. Betrema}, RAIRO, Inf. Théor. 16, 165--182 (1982; Zbl 0517.54026) Full Text: EuDML
Goralcik, P.; Hedrlin, Z.; Koubek, V.; Ryslinkova, J. A game of composing binary relations. (English) Zbl 0509.05011 RAIRO, Inf. Théor. 16, 365-369 (1982). MSC: 05A99 91A99 PDFBibTeX XMLCite \textit{P. Goralcik} et al., RAIRO, Inf. Théor. 16, 365--369 (1982; Zbl 0509.05011) Full Text: EuDML
Chottin, Laurent; Cori, Robert Une preuve combinatoire de la rationalité d’une série génératrice associée aux arbres. (French) Zbl 0509.05006 RAIRO, Inf. Théor. 16, 113-128 (1982). MSC: 05A15 05C05 05C30 PDFBibTeX XMLCite \textit{L. Chottin} and \textit{R. Cori}, RAIRO, Inf. Théor. 16, 113--128 (1982; Zbl 0509.05006) Full Text: EuDML
Farinas del Cerro, Luis Les modalites de la correction totale. (French) Zbl 0506.03004 RAIRO, Inf. Théor. 16, 349-363 (1982). MSC: 03B45 03D05 PDFBibTeX XMLCite \textit{L. Farinas del Cerro}, RAIRO, Inf. Théor. 16, 349--363 (1982; Zbl 0506.03004) Full Text: EuDML
Paun, Gheorghe On simple matrix languages versus scattered context languages. (English) Zbl 0505.68034 RAIRO, Inf. Théor. 16, 245-253 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Paun}, RAIRO, Inf. Théor. 16, 245--253 (1982; Zbl 0505.68034) Full Text: EuDML
Gabarro, J. Une application des notions de centre et index rationnel à certains langages algébriques. (French) Zbl 0505.68033 RAIRO, Inf. Théor. 16, 317-330 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Gabarro}, RAIRO, Inf. Théor. 16, 317--330 (1982; Zbl 0505.68033) Full Text: EuDML
Mahr, Bernd Algebraic complexity of path problems. (English) Zbl 0504.68023 RAIRO, Inf. Théor. 16, 263-292 (1982). MSC: 68Q25 16Y60 PDFBibTeX XMLCite \textit{B. Mahr}, RAIRO, Inf. Théor. 16, 263--292 (1982; Zbl 0504.68023) Full Text: EuDML
Do Long Van Codes avec des mots infinis. (French) Zbl 0498.68053 RAIRO, Inf. Théor. 16, 371-386 (1982). MSC: 68T99 20M35 94A45 PDFBibTeX XMLCite \textit{Do Long Van}, RAIRO, Inf. Théor. 16, 371--386 (1982; Zbl 0498.68053) Full Text: EuDML
Nijholt, Anton From LL-regular to LL(1) grammars: transformations, covers and parsing. (English) Zbl 0498.68052 RAIRO, Inf. Théor. 16, 387-406 (1982). MSC: 68N20 PDFBibTeX XMLCite \textit{A. Nijholt}, RAIRO, Inf. Théor. 16, 387--406 (1982; Zbl 0498.68052) Full Text: EuDML
Chottin, Laurent Langages algébriques et systèmes de reecriture rationnels. (French) Zbl 0498.68048 RAIRO, Inf. Théor. 16, 93-112 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Chottin}, RAIRO, Inf. Théor. 16, 93--112 (1982; Zbl 0498.68048) Full Text: EuDML
Mentrasti, P.; Protasi, M. Extended primitive recursive functions. (English) Zbl 0498.03024 RAIRO, Inf. Théor. 16, 73-84 (1982). MSC: 03D20 PDFBibTeX XMLCite \textit{P. Mentrasti} and \textit{M. Protasi}, RAIRO, Inf. Théor. 16, 73--84 (1982; Zbl 0498.03024) Full Text: EuDML
Cori, Marcel Description d’une classe de grammaires de graphes sans circuit. (French) Zbl 0497.68043 RAIRO, Inf. Théor. 16, 33-49 (1982). MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{M. Cori}, RAIRO, Inf. Théor. 16, 33--49 (1982; Zbl 0497.68043) Full Text: EuDML
Ehrenfeucht, A.; Rozenberg, G. On subword complexities of homomorphic images of languages. (English) Zbl 0495.68069 RAIRO, Inf. Théor. 16, 303-316 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, RAIRO, Inf. Théor. 16, 303--316 (1982; Zbl 0495.68069) Full Text: EuDML
Dulucq, Serge Series algébriques solutions d’équations linéaires avec opérateurs. (French) Zbl 0493.68080 RAIRO, Inf. Théor. 16, 139-163 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Dulucq}, RAIRO, Inf. Théor. 16, 139--163 (1982; Zbl 0493.68080) Full Text: EuDML
Albert, J. A note on the undecidability of contextfreeness. (English) Zbl 0493.68078 RAIRO, Inf. Théor. 16, 3-11 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Albert}, RAIRO, Inf. Théor. 16, 3--11 (1982; Zbl 0493.68078) Full Text: EuDML
Autebert, Jean-Michel; Beauquier, Joffroy; Boasson, Luc; Latteux, Michel Indécidabilité de la condition IRS. (French) Zbl 0493.68075 RAIRO, Inf. Théor. 16, 129-138 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{J.-M. Autebert} et al., RAIRO, Inf. Théor. 16, 129--138 (1982; Zbl 0493.68075) Full Text: EuDML
Lescanne, Pierre Modeles non déterministes de types abstraits. (French) Zbl 0491.68013 RAIRO, Inf. Theor. 16, 225-244 (1982). MSC: 68P05 PDFBibTeX XMLCite \textit{P. Lescanne}, RAIRO, Inf. Théor. 16, 225--244 (1982; Zbl 0491.68013) Full Text: EuDML
Ross, Rockford; Winklmann, Karl Repetitive strings are not context-free. (English) Zbl 0489.68071 RAIRO, Inf. Théor. 16, 191-199 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. Ross} and \textit{K. Winklmann}, RAIRO, Inf. Théor. 16, 191--199 (1982; Zbl 0489.68071) Full Text: EuDML
Bertolazzi, P.; Lucertini, M.; Marchetti Spaccamela, A. Analysis of a class of graph partitioning problems. (English) Zbl 0489.68066 RAIRO, Inf. Théor. 16, 255-261 (1982). MSC: 68R10 05C99 PDFBibTeX XMLCite \textit{P. Bertolazzi} et al., RAIRO, Inf. Théor. 16, 255--261 (1982; Zbl 0489.68066) Full Text: EuDML
Olivie, H. J. A new class of balanced search trees: Half-balanced binary search trees. (English) Zbl 0489.68056 RAIRO, Inf. Théor. 16, 51-71 (1982). MSC: 68R10 68P10 68Q25 PDFBibTeX XMLCite \textit{H. J. Olivie}, RAIRO, Inf. Théor. 16, 51--71 (1982; Zbl 0489.68056) Full Text: EuDML
Apolloni, B.; Di Gregorio, S. A probabilistic analysis of a new satisfiability algorithm. (English) Zbl 0489.68038 RAIRO, Inf. Théor. 16, 201-223 (1982). MSC: 68Q25 68W99 PDFBibTeX XMLCite \textit{B. Apolloni} and \textit{S. Di Gregorio}, RAIRO, Inf. Théor. 16, 201--223 (1982; Zbl 0489.68038) Full Text: EuDML
Pinzani, R.; Sprugnoli, R. The separability of formal languages. (English) Zbl 0479.68079 RAIRO, Inf. Théor. 16, 13-31 (1982). MSC: 68Q45 68N20 PDFBibTeX XMLCite \textit{R. Pinzani} and \textit{R. Sprugnoli}, RAIRO, Inf. Théor. 16, 13--31 (1982; Zbl 0479.68079) Full Text: EuDML
Maurer, H. A.; Salomaa, A.; Wood, D. Synchronized EOL forms under uniform interpretation. (English) Zbl 0507.68050 RAIRO, Inf. Théor. 15, 337-353 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. A. Maurer} et al., RAIRO, Inf. Théor. 15, 337--353 (1981; Zbl 0507.68050) Full Text: EuDML
Avenhaus, J.; Madlener, K. An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. (English) Zbl 0494.20020 RAIRO, Inf. Théor. 15, 355-371 (1981). MSC: 20F10 20E06 20D15 03D45 03D20 PDFBibTeX XMLCite \textit{J. Avenhaus} and \textit{K. Madlener}, RAIRO, Inf. Théor. 15, 355--371 (1981; Zbl 0494.20020) Full Text: EuDML
Daduna, Hans On the structure of general stochastic automata. (English) Zbl 0491.68051 RAIRO, Inf. Théor. 15, 287-302 (1981). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{H. Daduna}, RAIRO, Inf. Théor. 15, 287--302 (1981; Zbl 0491.68051) Full Text: EuDML
Raoult, Jean-Claude Finiteness results on rewriting systems. (English) Zbl 0491.03015 RAIRO, Inf. Théor. 15, 373-391 (1981). MSC: 03D03 03B25 68Q45 68Q65 03D05 PDFBibTeX XMLCite \textit{J.-C. Raoult}, RAIRO, Inf. Théor. 15, 373--391 (1981; Zbl 0491.03015) Full Text: EuDML
Queinnec, C. Une formalisation des systèmes conversationnels. (French) Zbl 0488.68073 RAIRO, Inf. Théor. 15, 303-336 (1981). MSC: 68U99 68Q45 PDFBibTeX XMLCite \textit{C. Queinnec}, RAIRO, Inf. Théor. 15, 303--336 (1981; Zbl 0488.68073) Full Text: EuDML
Demlova, M.; Demel, J.; Koubek, V. On subdirectly irreducible automata. (English) Zbl 0482.68050 RAIRO, Inf. Théor. 15, 23-46 (1981). MSC: 68Q70 PDFBibTeX XMLCite \textit{M. Demlova} et al., RAIRO, Inf. Théor. 15, 23--46 (1981; Zbl 0482.68050) Full Text: EuDML
Aguzzi, Gianni The theory of invertible algorithms. (English) Zbl 0476.68027 RAIRO, Inf. Théor. 15, 253-279 (1981). MSC: 68W99 68N01 PDFBibTeX XMLCite \textit{G. Aguzzi}, RAIRO, Inf. Théor. 15, 253--279 (1981; Zbl 0476.68027) Full Text: EuDML
Lilin, E. Transducteurs finis d’arbres et tests d’egalite. (French) Zbl 0474.68091 RAIRO, Inf. Théor. 15, 213-232 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Lilin}, RAIRO, Inf. Théor. 15, 213--232 (1981; Zbl 0474.68091) Full Text: EuDML
Tchuente, Maurice Sur l’auto-stabilisation dans un réseau d’ordinateurs. (French) Zbl 0473.68047 RAIRO, Inf. Théor. 15, 47-66 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Tchuente}, RAIRO, Inf. Théor. 15, 47--66 (1981; Zbl 0473.68047) Full Text: EuDML
Ehrenfeucht, A.; Rozenberg, G. FPOL systems generating counting languages. (English) Zbl 0469.68077 RAIRO, Inf. Théor. 15, 161-173 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, RAIRO, Inf. Théor. 15, 161--173 (1981; Zbl 0469.68077) Full Text: EuDML
Dikovskij, A. Ja. A theory of complexity of monadic recursion schemes. (English) Zbl 0469.68050 RAIRO, Inf. Théor. 15, 67-94 (1981). MSC: 68Q25 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. Ja. Dikovskij}, RAIRO, Inf. Théor. 15, 67--94 (1981; Zbl 0469.68050) Full Text: EuDML
Brandstädt, Andreas Closure properties of certain families of formal languages with respect to a generalization of cyclic closure. (English) Zbl 0467.68066 RAIRO, Inf. Théor. 15, 233-252 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Brandstädt}, RAIRO, Inf. Théor. 15, 233--252 (1981; Zbl 0467.68066) Full Text: EuDML