Rewriting and narrowing for constructor systems with call-time choice semantics

  1. López-Fraguas, F.J.
  2. Martin-Martin, E.
  3. Rodríguez-Hortalá, J.
  4. Sánchez-Hernández, J.
Revista:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Año de publicación: 2014

Volumen: 14

Número: 2

Páginas: 165-213

Tipo: Artículo

DOI: 10.1017/S1471068412000373 GOOGLE SCHOLAR
Fuente de los datos: Scopus