Geodesic

Sommaire du Fascicule no. 1

Data types as algorithms
p. 3-22
Hiérarchies de concaténation
p. 23-46
On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
p. 47-52
Systolic tree acceptors
p. 53-69
A fast method of deadlock avoidance
p. 71-80

Sommaire du Fascicule no. 2

Définitions récursives par cas
p. 91-129
Charakterisierung redundanzfreier codes zur datenverschlüsselung
p. 131-146
On context constrained squares and repetitions in a string
p. 147-159
Un principe de résolution en logique modale
p. 161-170
Computing the connected components of simple rectilinear geometrical objects in d-space
p. 171-183

Sommaire du Fascicule no. 3

Construction d'un plus petit ordre de simplification
p. 191-208
Reduction semantics for rational schemes
p. 209-223
Grammaires algébriques et monoïdes simplifiables
p. 225-239
Approximation de séries formelles par des séries rationnelles
p. 241-258
Langages persistants
p. 259-278
On ambiguity in DOS systems
p. 279-295

Sommaire du Fascicule no. 4

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