Rui Ding, Haruhiko Sato, Masahito Kurihara. Parallelization of termination checker for term rewriting system. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012. pages 1824-1829, IEEE, 2012. [doi]
@inproceedings{DingSK12,
title = {Parallelization of termination checker for term rewriting system},
author = {Rui Ding and Haruhiko Sato and Masahito Kurihara},
year = {2012},
doi = {10.1109/ICSMC.2012.6378003},
url = {http://dx.doi.org/10.1109/ICSMC.2012.6378003},
researchr = {https://researchr.org/publication/DingSK12},
cites = {0},
citedby = {0},
pages = {1824-1829},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012},
publisher = {IEEE},
isbn = {978-1-4673-1713-9},
}