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

Ingo Lepper

Description

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 [e-mail] (expiration date approx. 12/2004) or [e-mail]: 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!

Sujets

• Informatik

Informations

• Publié par: westfalische_wilhelms-universitat_munster
• Publié le: 01 janvier 2001
• Nombre de lectures: 20
• Langue: English
• Poids de l'ouvrage: 1 Mo

Extrait