A proof theoretic approach to failure in functional logic programming
ISSN: 1471-0684
Any de publicació: 2004
Volum: 4
Número: 1-2
Pàgines: 41-74
Tipus: Article
ISSN: 1471-0684
Any de publicació: 2004
Volum: 4
Número: 1-2
Pàgines: 41-74
Tipus: Article