35 citations · 65 across the 12 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2017
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems
Ryota Nakayama, Naoki Nishida, Masahiko Sakai
In this paper, we show that the SR transformation, a computationally equivalent transformation proposed by Serbanuta and Rosu, is a sound structure-preserving transformation for we…
cs.FL2013★ 1 cited
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms
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…