MARÍA TERESA
HORTALÁ GONZÁLEZ
Investigadora hasta 2011
FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Publicaciones en las que colabora con FRANCISCO JAVIER LÓPEZ FRAGUAS (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)