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

Bibliographische Detailangaben

1. Verfasser:	Bergstra, J. (VerfasserIn)
Weitere Verfasser:	Tucker, J. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1980
Schriftenreihe:	Reports / AMSTERDAM MATHEMATISCH CENTRUM IW 131/80
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!