Equivalence of Two Formal Semantics for Functional Logic Programs
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2007
Alea: 188
Orrialdeak: 117-142
Mota: Artikulua