Order-sorted equational computation

Bibliographische Detailangaben

Körperschaften:	Fachbereich Informatik, Universität Kaiserslautern (BerichterstatterIn), Deutschland Bundesminister für Forschung und Technologie (BerichterstatterIn), USA Office of Naval Research (BerichterstatterIn)
Weitere Verfasser:	Smolka, Gert (BerichterstatterIn), Nutt, Werner (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 1987
Schriftenreihe:	SEKI-Report 87,14
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!