Equivalence of Two Formal Semantics for Functional Logic Programs
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2007
Volum: 188
Pàgines: 117-142
Tipus: Article