The Universal Resolving Algorithm: Inverse Computation in a Functional Language (2000)

Cached

Download Links

by Sergei Abramov , Robert Glück
Venue:in Mathematics of Program Construction. Proceedings
Citations:23 - 3 self