Simplification orders in term rewriting [Elektronische Ressource] / vorgelegt von Ingo Lepper

Ingo LepperSimplification Ordersin Term RewritingDerivation Lengths,Order Types, andComputability2001Mathematische LogikSimplification Ordersin Term RewritingDerivation Lengths,Order Types, andComputabilityInaugural-Dissertationzur Erlangung des Doktorgrades der Naturwissenschaftenim Fachbereich Mathematik und Informatikder Mathematisch-Naturwissenschaftlichen Fakulta¨tder Westfa¨lischen Wilhelms-Universit¨at Mu¨nstervorgelegt vonIngo Lepperaus Mu¨nster– 2001 –vvvA ATypeset with LT X2 using the document class KOMA-Script, the packages babel,A S-LT X, amsthm, hyperref, graphicx, url,E ε M Ecolor, natbib, backref, booktabs, array, ragged2e, acronym, nomencl, thumbpdf, nicefrac, currvita, titletoc, epigraph, and paralist,and the additional font packages amssymb, aeguill, stmaryrd, and pifont.The home page of this text is http://wwwmath.uni-muenster.de/logik/publ/diss/9.html. If you want to contact the author, this ispossible by electronic mail via either lepper@math.uni-muenster.de (expiration date approx. 12/2004) or ingo.lepper@gmx.de.Dekan: Prof. Dr. W. LangeErster Gutachter: Prof. Dr. A. WeiermannZweiter Gutachter: Prof. Dr. W. PohlersTage der mundlichen Prufungen:¨ ¨Mathematische Logik: 04.12.2001Reine Mathematik: 29.11.2001Angewandte Mathematik: 03.12.2001Tag der Promotion: 04.12.2001ƒFur Anke¨undmeine FamilieForewordAppreciate true friendship,it is for free!