Affiliation:
1. Graduate School of Information Science and Technology, Hokkaido University
2. Faculty of Engineering, Hokkai-Gakuen University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference33 articles.
1. [1] T. Aoto, “Dealing with non-orientable equations in rewriting induction,” Proc. 17th International Conf. on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol.4098, pp.242-256, 2006. 10.1007/11805618_18
2. [2] T. Aoto, “Rewriting induction using termination checker,” JSSST 24th Annual Conf., 3C-3, 2007 (in Japanese).
3. [3] T. Aoto, “Designing a rewriting induction prover with an increased capability of nonorientable equations,” Proc. Symbolic Computation in Software Science AustrianJapanese Workshop, RISC Technical Report, vol.08-08, pp.1-15, 2008.
4. [4] T. Arts and J. Giesl, “Termination of term rewriting using dependency pairs,” Theor. Comput. Sci., vol.236, no.1-2, pp.133-178, 2000. 10.1016/s0304-3975(99)00207-8
5. [5] F. Baader and T. Nipkow, Term Rewriting and All That, Cambridge University Press, 1998.