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

Volume 17, Number 2, 1983

• 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

Volume 17, Number 3, 1983

• 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

Volume 17, Number 4, 1983

• 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

Last update Mon May 20 17:56:14 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page