Media type: Book Title: An evaluation semantics for narrowing-based functional logic languages Contributor: Hanus, Michael [Author]; Lucas, Salvador [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 2000 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 2000 Extent: 30 S. Language: German Origination: Footnote: Literaturverz. S. 26 - 30