RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 1

Sommaire

Sémantique logique et dénotationnelle des interpréteurs PROLOG

Delahaye, Jean-Paul

p. 3-42

Sur une classe de transformations d'arbres

Bozapalidis, Symeon

p. 43-47

A note on fixpoint techniques in data base recursive logic programs

Guessarian, Irène

p. 49-56

Étude et implémentation d'un système de déduction pour logique algorithmique

Garcia, Françoise

p. 57-92

Commutativity in groups presented by finite Church-Rosser Thue systems

Madlener, Klaus ; Otto, Friedrich

p. 93-111

Bisections reconnaissables

Duchamp, G. ; Thibon, J. Y.

p. 113-128