Parallelization of Termination Checker of Term Rewriting Systems.
Saved in:
| Title: | Parallelization of Termination Checker of Term Rewriting Systems. |
|---|---|
| Authors: | Ding, Rui1, ray@complex.ist.hokudai.ac.jp, Sato, Haruhiko1, haru@complex.ist.hokudai.ac.jp, Kurihara, Masahito1, kurihara@complex.ist.hokudai.ac.jp |
| Source: | Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I; 2012, Vol. 1, p736-741, 6p |
| Database: | Applied Science & Technology Source |
| ISBN: | 9789881925114 |
|---|
