FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Juan Carlos
González Moreno
Juan Carlos González Moreno-rekin lankidetzan egindako argitalpenak (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)