FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Juan Carlos
González Moreno
Publicaciones en las que colabora con 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)