Sommaire du Fascicule no. 1

Data types as algorithms
Hiérarchies de concaténation
On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
Systolic tree acceptors
A fast method of deadlock avoidance

Sommaire du Fascicule no. 2

Définitions récursives par cas
Charakterisierung redundanzfreier codes zur datenverschlüsselung
On context constrained squares and repetitions in a string
Un principe de résolution en logique modale
Computing the connected components of simple rectilinear geometrical objects in d-space

Sommaire du Fascicule no. 3

Construction d'un plus petit ordre de simplification
Reduction semantics for rational schemes
Grammaires algébriques et monoïdes simplifiables
Approximation de séries formelles par des séries rationnelles
Langages persistants
On ambiguity in DOS systems

Sommaire du Fascicule no. 4

On real time and linear time cellular automata
Langages de parenthèses, langages N.T.S. et homomorphismes inverses
On Lamport's comparison between linear and branching time temporal logic
Sur le nombre de registres nécessaires à l'évaluation d'une expression arithmétique
Algebraic caractérisations of NTIME(F) and NTIME(F,A)
Analysis of an algorithm to construct Fibonacci partitions