most citedOn Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2023★ 1 cited

On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic

Ayuka Matsumi, Naoki Nishida, Misaki Kojima +1

As for term rewrite systems, the dependency pair (DP, for short) framework with several kinds of DP processors is useful for proving termination of logically constrained term rewri…