Publikationen, an denen er mitarbeitet JAIME SÁNCHEZ HERNÁNDEZ (1)

2014

  1. 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