BibTeX
CSL-JSON
MLA
Harvard
Higher-order narrowing with definitional trees
release_igbn5r5pyrckvbflvtikj7c3j4
by
MICHAEL HANUS, CHRISTIAN PREHOFER
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
Stage
Year 1999
article-journal
Stage
published
Year 1999
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar