Informatique Théorique et Applications, Volume 15, 1981

Volume 15, Number 1, 1981

• Patrice Enjalbert: Systèmes de Déduction pour les Arbres et les Schémas de Programme (II). 3-21 BibTeX
• Marie Demlová, Jiri Demel, Václav Koubek: On Subdirectly Irreducible Automata. 23-46 BibTeX
• Maurice Tchuente: Sur l'Auto- Stabilisation dans un Réseau d'Ordinateurs. 47-66 BibTeX
• A. Ja. Dikovskii: A Theory of Complexity of Monadic Recursion Schemes. 67-94 BibTeX

Volume 15, Number 2, 1981

• André Arnold: Sémantique des Processus Communicants. 103-139 BibTeX
• Jeannine Leguy: Transductions Rationnelles Décroissantes. 141-148 BibTeX
• Howard Straubing: Relationals Morphisms and Operations on Recognizable Sets. 149-159 BibTeX
• Andrzej Ehrenfeucht, Grzegorz Rozenberg: FPOL Systems Generating Counting Languages. 161-173 BibTeX

Volume 15, Number 3, 1981

• Kurt Mehlhorn: Arbitrary Weight Changes in Dynamic Trees. 183-211 BibTeX
• Eric Lilin: Transducteurs Finis d'Arbres et Tests d'Égalité. 213-232 BibTeX
• Andreas Brandstädt: Closure Properties of Certain Families of Formal Languages with Respect to a Generalization of Cyclic Closure. 233-252 BibTeX
• Gianni Aguzzi: The Theory of Invertible Algorithms. 253-279 BibTeX

Volume 15, Number 4, 1981

• Hans Daduna: On the Structure of General Stochastic Automata. 287-302 BibTeX
• Christian Queinnec: Une Formalisation des Systèmes Conversationnels. 303-336 BibTeX
• Hermann A. Maurer, Arto Salomaa, Derick Wood: Synchronized EOL Forms Under Uniform Interpretation. 337-353 BibTeX
• Jürgen Avenhaus, Klaus Madlener: An Algorithm for the Word Problem in HNN Extensions and the Dependence of Its Complexity on the Group Representation. 335-371 BibTeX
• Jean-Claude Raoult: Finiteness Results on Rewriting Systems. 373-391 BibTeX