Parallelization of termination checker for term rewriting system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rui Ding' in GoogleThis author has not been identified. Look up 'Haruhiko Sato' in GoogleThis author has not been identified. Look up 'Masahito Kurihara' in Google

runs on WebDSL