Geodesic

Sommaire du Fascicule no. R1

Algorithmes universels
p. 5-18
Une forme canonique pour les grammaires simples déterministes
p. 19-36
Une généralisation de la notion d'ensemble immune
p. 37-48
A note on graph coloring
p. 49-53
Sur les monoïdes finis dont les groupes sont commutatifs
p. 55-61
Une caractérisation des générateurs standard
p. 63-83

Sommaire du Fascicule no. R3

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