Equivalence of Two Formal Semantics for Functional Logic Programs
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Ano de publicación: 2007
Volume: 188
Páxinas: 117-142
Tipo: Artigo