Proving failure in functional logic programs
ISSN: 0302-9743
ISBN: 9783540677970
Year of publication: 2000
Volume: 1861
Pages: 179-193
Type: Conference paper
ISSN: 0302-9743
ISBN: 9783540677970
Year of publication: 2000
Volume: 1861
Pages: 179-193
Type: Conference paper