Juan Carlos
González Moreno
Publications by the researcher in collaboration with Juan Carlos González Moreno (2)
1999
-
Approach to declarative programming based on a rewriting logic
Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87
1996
-
A rewriting logic for declarative programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)