Hashing LEMMAs on time complexities with applications to formula manipulation.
| Autor: | Goto, Eiichi, Kanada, Yasumasa |
|---|---|
| Zdroj: | Proceedings of the Third ACM Symposium: Symbolic & Algebraic Computation; 8/10/1976, p154-158, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|