Proc. 1st Asian Symp. Programming Languages and Systems (APLAS 2003)
A program inverter for a functional language with equality and constructors, GluKaw-APLAS-03
[
D. Eppstein publications
] [
Citation database
] [
Locations
]
Fano
Experimental Web Server,
D. Eppstein
,
School of Information & Computer Science
,
UC Irvine
