Informatique Théorique et Applications, Volume 17, 1983

Volume 17, Number 1, 1983

Wolfgang Wechler: Characterization of Rational and Algebraic Power Series. 3-11 BibTeX
Andrzej Ehrenfeucht, Grzegorz Rozenberg: On the Separating Power of Eol Systems. 13-22 BibTeX
Jacques Sakarovitch: Deux Remarques sur un Théorème de S. Eilenberg. 23-48 BibTeX
Cristian Calude, Gheorghe Paun: Independent Instances for Some Undecidable Problems. 49-54 BibTeX
Giorgio Levi, A. M. Pegna: Top-Down Mathematical Semantics and Symbolic Execution. 55-70 BibTeX
Ines Margaria, Maddalena Zacchi: Right and Left Invertibility in lambda-beta-Calculus. 71-88 BibTeX

Carlo Batini, Alessandro D'Atri: Relational Data Base Design Using Refinement Rules. 97-119 BibTeX
Andreas Brandstädt: Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms. 121-130 BibTeX
Jean-Jacques Pansiot: Mots Infinis de Fibonacci et Morphismes Itérés. 131-135 BibTeX
Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. 137-161 BibTeX
Dirk Janssens, Grzegorz Rozenberg: Hypergraph Systems and Their Extensions. 163-196 BibTeX

Karel Culik II, Juhani Karhumäki: On the Ehrenfeucht Conjecture for DOL Languages. 205-230 BibTeX
Johannes Arz: Syntactic Congruences and Syntactic Algebras. 231-238 BibTeX
G. Robin: Méthodes D'Optimisation pour un Problème de Théorie des Nombres. 239-247 BibTeX
Rainer Kemp: The Reduction of Binary Trees by Means of an Input-Restricted Deque. 249-284 BibTeX
Helmut Prodinger: Topologies on Free Monoids Induced by Families of Languages. 285-290 BibTeX

Michèle Soria: Une Extension des Langages Déterministes. 301-319 BibTeX
Robert Knast: A Semigroup Characterization of Dot-Depth one Languages. 321-330 BibTeX
Robert Knast: Some Theorems on Graph Congruences. 331-342 BibTeX
M. P. Franchi-Zannettacci: Un Algorithme de Calcul Formel des Séries Énumératrices de Langage Linéaire. 343-364 BibTeX
Guy Louchard: The Brownian Motion: A Neglected Tool for the Complexity Analysis of Sorted Tables Manipulation. 365-385 BibTeX
Alberto Marchetti-Spaccamela, Maurizio Talamo: Probabilistic Analysis of Two Euclidean Location Problems. 387-395 BibTeX
Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener: Parallel Computation on 2-3-Trees. 397-404 BibTeX