16 citations · 24 across the 9 of their papers we have counts for
1 paper · 1 filter
Patrick Bahr
We study an alternative model of infinitary term rewriting. Instead of a metric on terms, a partial order on partial terms is employed to formalise convergence of reductions. We co…