Higher-order narrowing with definitional trees release_igbn5r5pyrckvbflvtikj7c3j4

by MICHAEL HANUS, CHRISTIAN PREHOFER

Published in Journal of functional programming by Cambridge University Press (CUP).

1999   p33-75

Archived Files and Locations

application/pdf  311.4 kB
file_rnbvlrpqbzesvhhptli7sk3wy4
www.informatik.uni-kiel.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1999
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0956-7968
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7d98ca12-6757-4ded-ba71-556008fafe1e
API URL: JSON