Search results for: Claudio Ochoa
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformations > 80-97
Electronic Notes in Theoretical Computer Science > 2008 > 220 > 3 > 145-161
Higher-Order and Symbolic Computation > 2008 > 21 > 1-2 > 147-192
Electronic Notes in Theoretical Computer Science > 2007 > 177 > Complete > 137-151