Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting (2010)

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