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