Informatique Théorique et Applications, Volume 17, 1983

Volume 17, Number 1, 1983

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

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

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

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