Equivalence of Two Formal Semantics for Functional Logic Programs
Zeitschrift:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Datum der Publikation: 2007
Ausgabe: 188
Seiten: 117-142
Art: Artikel