Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Volume 8 (1974) no. R3

Table of contents

Complexity of theorem-proving procedures : some general properties

Longo, G.; Venturini Zilli, M.

p. 5-18

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

Castanet, R.

p. 19-36

A parenthesis machine for string manipulation

Dezani-Ciancaglini, Mariangiola

p. 37-46

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

Picon, P. A.

p. 47-61

Paradis terrestre dans l'automate cellulaire de Conway

Hardouin-Duparc, J.

p. 63-71

Topological automata

Ehrig, Hartmut; Kühnel, Wolfgang

p. 73-91