Normalization and partial evaluation of functional logic programs

Dissertation, Christian-Albrechts-Universität zu Kiel, 2016

Bibliographische Detailangaben

1. Verfasser:	Peemöller, Björn (VerfasserIn)
Körperschaften:	Books on Demand GmbH (Verlag), Christian-Albrechts-Universität zu Kiel (Grad-verleihende Institution)
Weitere Verfasser:	Hanus, Michael (AkademischeR BetreuerIn), Huch, Frank Günter (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Norderstedt BoD - Books on Demand 2017 Kiel Institut für Informatik, Christian-Albrechts-Universität zu Kiel 2017
Schriftenreihe:	Kiel computer science series 2017, 1
Schlagworte:	Hochschulschrift
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!