Computational issues in calculi of partial inductive definitions

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

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!