Publicacións nas que colabora con María Teresa Hortala González (4)

1999

  1. Approach to declarative programming based on a rewriting logic

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87

  2. Semantics and types in functional logic programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1996

  1. A rewriting logic for declarative programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1993

  1. On the completeness of narrowing as the operational semantics of functional logic programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)