Partial inductive definitions

Bibliographische Detailangaben

1. Verfasser:	Hallnäs, Lars (VerfasserIn)
Körperschaft:	Swedish Institute of Computer Science (Herausgebendes Organ)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stockholm Swedish Institute of Computer Science 1986
Schriftenreihe:	Research Report / Swedish Institute of Computer Science 1986,5C
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!