Christina Kirk

Proof Terms for Term Rewriting

by Christina Kirk

First-Order Rewriting

by René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler and Akihisa Yamada