17 citations · 25 across the 8 of their papers we have counts for
1 paper · 1 filter
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short)…