Informatique Théorique et Applications, Volume 18, 1984

Volume 18, Number 1, 1984

M. A. Nait Abdallah: Data Types as Algorithms. 3-22 BibTeX
Jean-Eric Pin: Hiérarchies de Concaténation. 23-46 BibTeX
Jürgen Avenhaus, Ronald V. Book, Craig C. Squier: On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids. 47-52 BibTeX
Karel Culik II, Arto Salomaa, Derick Wood: Systolic Tree Acceptors. 53-69 BibTeX
Piotr Bak: A Fast Method of Deadlock Avoidance. 71-80 BibTeX

Bruno Courcelle, F. Lavandier: Définitions Récursives Par Cas. 91-129 BibTeX
Helmut Jürgensen, M. Kunze: Charakterisierung Redundanzfreier Codes zur Datenverschlüsselung. 131-145 BibTeX
Alberto Apostolico: On Context Constrained Squares and Repetitions in a String. 147-159 BibTeX
Luis Fariñas del Cerro: Un Principe de Résolution en Logique Modale. 161-170 BibTeX
Herbert Edelsbrunner, Jan van Leeuwen, Thomas Ottmann, Derick Wood: Computing the Connected Components of Simple Rectilinear Geometrical Objects in D-Space. 171-183 BibTeX

Jean-Pierre Jouannaud, Hélène Kirchner: Construction D'un Plus Petit Odre de Simplification. 191-208 BibTeX
Klaus Indermark: Reduction Semantics for Rational Schemes. 209-223 BibTeX
Christiane Frougny: Grammaires Algébriques et Monoïdes Simplifiables. 225-239 BibTeX
Christiane Hespel: Approximation de Séries Formelles Par des Séries Rationnelles. 241-258 BibTeX
H. Alaiwan: Langages Persistants. 259-278 BibTeX
Andrzej Ehrenfeucht, David Haussler, Grzegorz Rozenberg: On Ambiguity in Dos Systems. 279-295 BibTeX

Walter Bucher, Karel Culik II: On Real Time and Linear Time Cellular Automata. 307-325 BibTeX
Jean-Michel Autebert, Luc Boasson, Géraud Sénizergues: Langages de Parenthèses, Langages N.T.S. et Homomorphismes Inverses. 327-344 BibTeX
Susanne Graf: On Lamport's Comparison Between Linear and Branching Time Temporal Logic. 345-353 BibTeX
Jean Françon: Sur Le Nombre de Registres Nécessaires a L'évaluation D'une Expression Arithmétique. 355-364 BibTeX
Hans-Jürgen Stenger: Algebraic Characterisations of Ntime(F) and NTime(F, A). 365-385 BibTeX
Helmut Prodinger: Analysis of an Algorithm to Construct Fibonacci Partitions. 387-394 BibTeX