Subscriber Authentication Point

EDPS Account

Volume 8 / No R3 (1974)

Free Access to the whole issue

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique

Volume 8 / No R3 (1974)

Export the citation of the selected articles Export
Select all

Free Access

Complexity of theorem-proving procedures : some general properties p. 5

G. Longo and M. Venturini Zilli

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/197408R300051

Free Access

Sémantique formelle des opérateurs d'un langage de listes p. 19

R. Castanet

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/197408R300191

Free Access

A parenthesis machine for string manipulation p. 37

Mariangiola Dezani-Ciancaglini

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/197408R300371

Free Access

Sur les termes nuls d'une suite récurrente cubique p. 47

P. A. Picon

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/197408R300471

Free Access

Paradis terrestre dans l'automate cellulaire de Conway p. 63

J. Hardouin-Duparc

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/197408R300631

Free Access

Topological automata p. 73

Hartmut Ehrig and Wolfgang Kühnel

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/197408R300731