12 citations · 17 across the 11 of their papers we have counts for
1 paper · 1 filter
Naohi Eguchi
In this paper we present a new termination proof and complexity analysis of unfolding graph rewriting which is a specific kind of infinite graph rewriting expressing the general fo…