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]
No references recorded for this publication.
No citations of this publication recorded.