1 citations · 1 across the 1 of their papers we have counts for
1 paper
Naoki Nishida, Masahiko Sakai, Yasuhiro Nakano
An inductive theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for reduction-completeness of constrai…