The universal resolving algorithm and its correctness: inverse computation in a functional language
Research output: Contribution to journal › Journal article › Research › peer-review
Original language | English |
---|---|
Journal | Science of Computer Programming |
Volume | 43 |
Issue number | 2-3 |
Pages (from-to) | 193-229 |
ISSN | 0167-6423 |
DOIs | |
Publication status | Published - 2002 |
ID: 177259413