SPLT 1987: Trégastel, France

Refine list

showing all ?? records

Sémantique de la programmation en logique

Extensions

Détection des boucles

Applications

Implémentation

Spécification

Contrôle

Nouveaux formalismes

Mécanismes d'explication

Environnements

Parallélisme

Sémantique de la programmation en logique

Objets et Prolog

Mesures

Papier invité

a service of  Schloss Dagstuhl - Leibniz Center for Informatics