Proving failure in functional logic programs
ISSN: 0302-9743
ISBN: 9783540677970
Año de publicación: 2000
Volumen: 1861
Páginas: 179-193
Tipo: Aportación congreso
ISSN: 0302-9743
ISBN: 9783540677970
Año de publicación: 2000
Volumen: 1861
Páginas: 179-193
Tipo: Aportación congreso