Supercompiler HOSC 1.5: Homeomorphic Embedding and Generalization in a Higher-Order Setting (2010)

by Ilya Klyuchnikov
Venue:Preprint 62, Keldysh Institute of Applied Mathematics