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

ISSN: 1475-3081,  1471-0684

Argitalpen urtea: 2014

Alea: 14

Zenbakia: 2

Orrialdeak: 165-213

Mota: Artikulua

DOI: 10.1017/S1471068412000373 GOOGLE SCHOLAR
Datuen iturria: Scopus