Sommaire du Fascicule no. 1

Sémantique logique et dénotationnelle des interpréteurs PROLOG
Sur une classe de transformations d'arbres
A note on fixpoint techniques in data base recursive logic programs
Étude et implémentation d'un système de déduction pour logique algorithmique
Commutativity in groups presented by finite Church-Rosser Thue systems
Bisections reconnaissables

Sommaire du Fascicule no. 2

A linear-time algorithm to decide whether a binary word contains an overlap
Un réseau linéaire pour la reconnaissance des mots sans carré
A note on the iteration of infinite matrices
Une charpente de semi-unification
Immunity and simplicity in relativizations of probabilistic complexity classes
É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

Sommaire du Fascicule no. 3

Logic and functional programming by retractions
A property of biprefix codes
Yield-languages recognized by alternating tree recognizers
Proposal for a natural formalization of functional programming concepts
Deux propriétés combinatoires des nombres de Schröder

Sommaire du Fascicule no. 4

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