9 citations · 10 across the 3 of their papers we have counts for
3 papers · 1 filter
Projections for infinitary rewriting
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequen…
Proof terms for infinitary rewriting, progress report
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal ana…
Local Termination: theory and practice
Joerg Endrullis, Roel de Vrijer, Johannes Waldmann
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive dev…