Infinitary rewriting: meta-theory and convergence

Stefan Kahrs. Infinitary rewriting: meta-theory and convergence. Acta Informatica, 44(2):91-121, 2007. [doi]

Abstract

Abstract is missing.