A proof theoretic approach to failure in functional logic programming

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

ISSN: 1471-0684

Année de publication: 2004

Volumen: 4

Número: 1-2

Pages: 41-74

Type: Article

GOOGLE SCHOLAR
La source de données: Scopus