Proving failure in functional logic programs
ISSN: 0302-9743
ISBN: 9783540677970
Any de publicació: 2000
Volum: 1861
Pàgines: 179-193
Tipus: Aportació congrés
ISSN: 0302-9743
ISBN: 9783540677970
Any de publicació: 2000
Volum: 1861
Pàgines: 179-193
Tipus: Aportació congrés