Joachim Steinbach. Termination of rewriting - extensions, comparison and automatic generation of simplification orderings. PhD thesis, Universität Kaiserslautern, 1994.
@phdthesis{books-daglib-0073843,
title = {Termination of rewriting - extensions, comparison and automatic generation of simplification orderings},
author = {Joachim Steinbach},
year = {1994},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/books-daglib-0073843},
cites = {0},
citedby = {0},
school = {Universität Kaiserslautern},
}