Forskning ved Københavns Universitet - Københavns Universitet

Forside

The universal resolving algorithm and its correctness: inverse computation in a functional language

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Vol/bind43
Udgave nummer2-3
Sider (fra-til)193-229
ISSN0167-6423
DOI
StatusUdgivet - 2002

ID: 177259413