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