Résultats de complétude pour des classes de types du système AF2

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	RAIRO. Informatique théorique et applications 1997, Vol.31 (6), p.513-537
Hauptverfasser:	FARKH, S, NOUR, K
Format:	Artikel
Sprache:	fre
Schlagworte:	Algorithmique. Calculabilité. Arithmétique ordinateur 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!