Sommaire du Fascicule no. 1

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

Sommaire du Fascicule no. 2

A linear-time algorithm to decide whether a binary word contains an overlap
p. 135-145
Un réseau linéaire pour la reconnaissance des mots sans carré
p. 147-161
A note on the iteration of infinite matrices
p. 163-171
Une charpente de semi-unification
p. 173-226
Immunity and simplicity in relativizations of probabilistic complexity classes
p. 227-244
Étude de la séparation et de l'élimination sur une famille de graphes quotients déduite d'une méthode de dissections emboîtées
p. 245-265

Sommaire du Fascicule no. 3

Logic and functional programming by retractions
p. 271-310
A property of biprefix codes
p. 311-318
Yield-languages recognized by alternating tree recognizers
p. 319-339
Proposal for a natural formalization of functional programming concepts
p. 341-360
Deux propriétés combinatoires des nombres de Schröder
p. 361-388

Sommaire du Fascicule no. 4

Logic and functional programming by retractions : operational semantics
p. 395-436
Catégories et langages de dot-depth un
p. 437-445
Lower bounds on the complexity of real-time branching programs
p. 447-459
Generalized cancellation-and-permutation properties, regular languages and supports of rational series
p. 461-486
On some packing problem related to dynamic storage allocation
p. 487-499