A proof theoretic approach to failure in functional logic programming

  1. López-fraguas, F.J.
  2. Sánchez-Hernández, J.
Aldizkaria:
Theory and Practice of Logic Programming

ISSN: 1471-0684

Argitalpen urtea: 2004

Alea: 4

Zenbakia: 1-2

Orrialdeak: 41-74

Mota: Artikulua

GOOGLE SCHOLAR
Datuen iturria: Scopus