A proof theoretic approach to failure in functional logic programming

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

ISSN: 1471-0684

Año de publicación: 2004

Volumen: 4

Número: 1-2

Páginas: 41-74

Tipo: Artículo

GOOGLE SCHOLAR
Fuente de los datos: Scopus