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

by Ilya G. Klyuchnikov
Citations:6 - 4 self