Results 1 -
1 of
1
A Unified View of Programming Schemas and Proof Methods
- Proceedings 9th International Workshop on Logic Program Synthesis and Transformation (LOPSTR’99), LNCS, Vol. 1817, Venezia, Italy, ISBN 3–540–67628–7
, 1999
"... this paper. References ..."
