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

Sergei A. Abramov and Robert Glück
Science of Computer Programming 43(2–3):193–229, 2002

Cites:

[D. Eppstein publications] [Citation database] [Documents]
Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!