RAIRO. Informatique théorique, Tome 18 (1984) no. 4

Sommaire

On real time and linear time cellular automata

Bucher, W. ; Culik II, K.

p. 307-325

Langages de parenthèses, langages N.T.S. et homomorphismes inverses

Autebert, J.-M. ; Boasson, L. ; Sénizergues, G.

p. 327-344

On Lamport's comparison between linear and branching time temporal logic

Graf, Susanne

p. 345-353

Sur le nombre de registres nécessaires à l'évaluation d'une expression arithmétique

Françon, Jean

p. 355-364

Algebraic caractérisations of NTIME

(F)

(F, A)

Stenger, Hans-Jürgen

p. 365-385

Analysis of an algorithm to construct Fibonacci partitions

Prodinger, Helmut

p. 387-394