Publicacións nas que colabora con Francisco Javier López Fraguas (2)

1999

  1. Approach to declarative programming based on a rewriting logic

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

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)