TY - BOOK
AU - Hanus, Michael
AU - Lucas, Salvador
TI - An evaluation semantics for narrowing-based functional logic languages
PB - Inst. für Informatik und Praktische Mathematik
PY - 2000
N2 - Literaturverz. S. 26 - 30
BT - Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 2000
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation