activity
20122023
most citedVerifying Procedural Programs via Constrained Rewriting Induction

35 citations · 65 across the 12 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.LO2012★ 17 cited

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

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)…