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

ISSN: 1475-3081 1471-0684

Datum der Publikation: 2014

Ausgabe: 14

Nummer: 2

Seiten: 165-213

Art: Artikel

DOI: 10.1017/S1471068412000373 GOOGLE SCHOLAR