Affiliation:
1. Center for Information Technologies and Networks, Mie University
2. Graduate School of Engineering, Mie 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
Reference16 articles.
1. [1] F. Baader and T. Nipkow, Term Rewriting and All That, Cambridge University Press, 1998.
2. Syntacticness, Cycle-Syntacticness, and Shallow Theories
3. [3] N. Dershowitz and J.-P. Jouannaud, “Rewrite systems, ” in Handbook of Theoretical Computer Science, ed. J. van Leeuwen, vol.B, pp.243-320, Elsevier Science Publishers B.V., 1990.
4. [4] H. Gomi, M. Oyamaguchi, and Y. Ohta, “On the church-rosser property of root-E-overlapping and strongly depth-preserving term rewriting systems, ” Trans. IPS Japan, vol.39, no.4, pp.992-1005, 1998.
5. [5] J.-M. Hullot, “Canonical forms and unification, ” Proc. 5th Conf. on Automated Deduction, pp.318-334, LNCS 87, 1980.