35 citations · 65 across the 12 of their papers we have counts for
1 paper · 1 filter
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…