47
Voted
CORR
2004
Springer
14 years 9 months ago
2004
Springer
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...