Hashing LEMMAs on time complexities with applications to formula manipulation.

Eiichi Goto, Yasumasa Kanada

Browse the full ISSAC paper archive.