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

Any de publicació: 2004

Volum: 4

Número: 1-2

Pàgines: 41-74

Tipus: Article

GOOGLE SCHOLAR
Font de les dades: Scopus