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

Research output: Contribution to journal › Journal article › Research › peer-review

Original languageEnglish
JournalScience of Computer Programming
Volume43
Issue number2-3
Pages (from-to)193-229
ISSN0167-6423
DOIs
Publication statusPublished - 2002

ID: 177259413