A proof theoretic approach to failure in functional logic programming
ISSN: 1471-0684
Datum der Publikation: 2004
Ausgabe: 4
Nummer: 1-2
Seiten: 41-74
Art: Artikel
ISSN: 1471-0684
Datum der Publikation: 2004
Ausgabe: 4
Nummer: 1-2
Seiten: 41-74
Art: Artikel