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.
Revue:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Année de publication: 2014

Volumen: 14

Número: 2

Pages: 165-213

Type: Article

DOI: 10.1017/S1471068412000373 GOOGLE SCHOLAR
La source de données: Scopus