Equivalence of Two Formal Semantics for Functional Logic Programs

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. Equivalence of Two Formal Semantics for Functional Logic Programs. Electronic Notes in Theoretical Computer Science, 188:117-142, 2007. [doi]

Abstract

Abstract is missing.