@phdthesis{oai:tsukuba.repo.nii.ac.jp:00008770, author = {Ohsaki, Hitoshi and 大崎, 人士}, month = {}, note = {Symbolic computation is in some sense a collection of mechanical operations for solving mathematical problems. The concept of Turing machines is the first mechanical method that facilitates ..., 1997}, school = {筑波大学, University of Tsukuba}, title = {Termination of term rewriting systems : transformation and persistence}, year = {1998} }