Proving failure in functional logic programs
ISSN: 0302-9743
ISBN: 9783540677970
Datum der Publikation: 2000
Ausgabe: 1861
Seiten: 179-193
Art: Konferenz-Beitrag
ISSN: 0302-9743
ISBN: 9783540677970
Datum der Publikation: 2000
Ausgabe: 1861
Seiten: 179-193
Art: Konferenz-Beitrag