Subscriber Authentication Point

EDPS Account

Volume 18 / No 4 (1984)

Free Access to the whole issue

RAIRO. Informatique théorique

Volume 18 / No 4 (1984)

Export the citation of the selected articles Export
Select all

Free Access

On real time and linear time cellular automata p. 307

W. Bucher and K. Culik II

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1984180403071

Free Access

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

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

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1984180403271

Free Access

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

Susanne Graf

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1984180403451

Free Access

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

Jean Françon

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1984180403551

Free Access

Algebraic caractérisations of NTIME$(F)$ and NTIME$(F, A)$ p. 365

Hans-Jürgen Stenger

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1984180403651

Free Access

Analysis of an algorithm to construct Fibonacci partitions p. 387

Helmut Prodinger

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1984180403871