Proc. 5th Int. Conf. Mathematics of Program Construction (MPC 2000)
The universal resolving algorithm: Inverse computation in a functional language, AbrGlu-MPC-00
[
D. Eppstein publications
] [
Citation database
] [
Locations
]
Fano
Experimental Web Server,
D. Eppstein
,
School of Information & Computer Science
,
UC Irvine
