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

13 years 11 months ago

We present an algorithm for inverse computation in a

Sergei M. Abramov, Robert Glück

Algorithm | Inverse Computation | SCP 2002 | Universal Resolving Algorithm |

claim paper

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	SCP
Authors	Sergei M. Abramov, Robert Glück

Comments (0)