SPLT 1982: Perros-Guirec, France

PROLOG: Implémentations et environnements de programmation

Logique et Programmation Fonctionelle

Logique et spécifications

Machines spécialisées

a service of Schloss Dagstuhl - Leibniz Center for Informatics