Computational issues in calculi of partial inductive definitions

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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kreuger, Per
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stockholm Dept. of Computing Science u.a. 1995
Schriftenreihe:	SICS dissertation series 19
Schlagworte:	Berechnungstheorie > Algorithmus > Beweistheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!