Geodesic

Volume 18 (1984) no. 4

Sommaire

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