ENRIQUE
MARTÍN MARTÍN
Profesor titular de universidad
JAIME
SÁNCHEZ HERNÁNDEZ
Profesor titular de universidad
Publications dans lesquelles il/elle collabore avec JAIME SÁNCHEZ HERNÁNDEZ (1)
2014
-
Rewriting and narrowing for constructor systems with call-time choice semantics
Theory and Practice of Logic Programming, Vol. 14, Núm. 2, pp. 165-213