Search Results - "JURJO-RIVAS, DANIEL"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

    Authors: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. et al.

    Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p612-630. 19p.

    PDF Full Text
    Save to List
  2. 2

    Abstract Environment Trimming.

    Authors: JURJO-RIVAS, DANIEL MORALES, JOSE F. LÓPEZ-GARCÍA, PEDRO et al.

    Source: Theory & Practice of Logic Programming. Jul2024, Vol. 24 Issue 4, p863-884. 22p.

    PDF Full Text
    Save to List

Search Tools: