Sommaire

Sémantique logique et dénotationnelle des interpréteurs PROLOG
p. 3-42
Sur une classe de transformations d'arbres
p. 43-47
A note on fixpoint techniques in data base recursive logic programs
p. 49-56
Étude et implémentation d'un système de déduction pour logique algorithmique
p. 57-92
Commutativity in groups presented by finite Church-Rosser Thue systems
p. 93-111
Bisections reconnaissables
p. 113-128