Computational issues in calculi of partial inductive definitions

Zugl.: Göteborg, Univ., Diss., 1995

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kreuger, Per (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stockholm SICS u.a. 1995
Schriftenreihe:	SICS Dissertation Series 19
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!