Equivalence of Two Formal Semantics for Functional Logic Programs
Revue:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Année de publication: 2007
Volumen: 188
Pages: 117-142
Type: Article