Complete Sets of Reductions for Some Equational Theories.
| Autor: | Peterson, Gerald E., Stickel, Mark E. |
|---|---|
| Zdroj: | Journal of the ACM; Apr1981, Vol. 28 Issue 2, p233-264, 32p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Peterson, Gerald E., Stickel, Mark E. |
|---|---|
| Zdroj: | Journal of the ACM; Apr1981, Vol. 28 Issue 2, p233-264, 32p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|