Sciweavers

SCP
2002

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

13 years 10 months ago
The universal resolving algorithm and its correctness: inverse computation in a functional language
We present an algorithm for inverse computation in a
Sergei M. Abramov, Robert Glück
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where SCP
Authors Sergei M. Abramov, Robert Glück
Comments (0)