Kurihara, Masahito

• Transactions on Engineering and Computing Sciences Vol. 2 No. 4 (2014): Transactions on Machine Learning and Artificial Intelligence - Articles
  Parallelization of Termination Checkers for Algebraic Software
  Abstract  PDF