Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	RAIRO. Informatique théorique et applications 1992, Vol.26 (1), p.59-91
1. Verfasser:	Berline, C.
Format:	Artikel
Sprache:	fre
Schlagworte:	Fonctions logiques, booléennes et de commutation Informatique théorique Informatique automatique theorique systemes Sciences appliquees Sciences exactes et technologie
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!