Volume 8 (1974) no. R3

Table of contents

Complexity of theorem-proving procedures : some general properties
p. 5-18
Sémantique formelle des opérateurs d'un langage de listes
p. 19-36
A parenthesis machine for string manipulation
p. 37-46
Sur les termes nuls d'une suite récurrente cubique
p. 47-61
Paradis terrestre dans l'automate cellulaire de Conway
p. 63-71
Topological automata
p. 73-91