• Forschungsgebiete:
• Termersetzungssysteme, Rekursionstheorie
• Bisherige Arbeiten (pauca sed matura):
  • Meine Diplomarbeit: Forcing mit markierten Bäumen
  • Artikel: Simply Terminating Rewrite Systems with Long Derivations
  • Artikel: Derivation Lengths and Order Types of Knuth-Bendix Orders
  • Preprint: The Computational Strength of the Knuth-Bendix Order
  • Meine Dissertation: Simplification Orders

E-Mail an
Ingo.Lepper
at
math.uni-muenster.de