A proof theoretic approach to failure in functional logic programming
ISSN: 1471-0684
Year of publication: 2004
Volume: 4
Issue: 1-2
Pages: 41-74
Type: Article
ISSN: 1471-0684
Year of publication: 2004
Volume: 4
Issue: 1-2
Pages: 41-74
Type: Article