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

Ilya Klyuchnikov. Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting. Preprint 62, Keldysh Institute of Applied Mathematics, Moscow, 2010.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.