A proof theoretic approach to failure in functional logic programming
ISSN: 1471-0684
Ano de publicación: 2004
Volume: 4
Número: 1-2
Páxinas: 41-74
Tipo: Artigo
ISSN: 1471-0684
Ano de publicación: 2004
Volume: 4
Número: 1-2
Páxinas: 41-74
Tipo: Artigo