On bounds for the specification of finite data types by means of equations and conditional equations

Bibliographische Detailangaben

1. Verfasser:	Bergstra, J.A. (VerfasserIn)
Weitere Verfasser:	Tucker, J.V. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Amsterdam Stichting Math. Centrum 1980
Ausgabe:	Prepr
Schriftenreihe:	Afdeling Informatica / Mathematisch Centrum Amsterdam IW 131
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!