Equivalence of an Operational and a Denotational Semantics for a Prolog-like Language with Cut
Auteur : Erik Peter Vink
Date de publication : 1988
Éditeur : Vrije Universiteit, Faculteit Wiskunde en Informatica
Nombre de pages : 43
Résumé du livre
Aucun résumé disponible pour ce livre.