%0 Thesis %1 steinbach1994termination %A Steinbach, Joachim %D 1994 %K %T Termination of rewriting: extensions, comparison and automatic generation of simplification orderings

@phdthesis{steinbach1994termination, added-at = {2023-12-13T09:39:43.000+0100}, author = {Steinbach, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2b10a0b9341cf963dc0bd130dd8e42ee9/admin}, dnbtitleid = {941908453}, interhash = {d053581444696efd779483152d24a80c}, intrahash = {b10a0b9341cf963dc0bd130dd8e42ee9}, keywords = {}, school = {Uni Kaiserslautern}, timestamp = {2023-12-13T09:39:43.000+0100}, title = {Termination of rewriting: extensions, comparison and automatic generation of simplification orderings}, year = 1994 }