Reports

• Enno Ohlebusch
  Hierarchical Termination Revisited
  Report 01-05, Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 2001.
  
  
• Enno Ohlebusch
  Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems
  Report 99-02, Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1999.
  
  
• Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema
  Relative Undecidability in Term Rewriting
  Technical reports of Utrecht University, Report UU-CS-1996-45, 1996.
  
  
• Robert Giegerich, Frank Hischke, Stefan Kurtz, Enno Ohlebusch
  Static and Dynamic Filtering Methods for Approximate String Matching
  Report 96-01, Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1996.
  
  
• Enno Ohlebusch, Esko Ukkonen
  On the Equivalence Problem for E-Pattern Languages
  Report 95-04, Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1995.
  
  
• Enno Ohlebusch
  Modular Properties of Composable Term Rewriting Systems
  Dissertation, available as  Report 94-01, Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1994.
  
  
• Enno Ohlebusch
  On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems
  Report 13, Technische Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1993.
  
  
• Enno Ohlebusch
  On the Modularity of Termination of Term Rewriting Systems
  Report 11, Technische Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1993.
  
  
• Enno Ohlebusch
  A Note on Simple Termination of Infinite Term Rewriting Systems
  Report 7, Technische Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1992.
  
  
• Enno Ohlebusch
  Combinations of Simplifying Conditional Term Rewriting Systems
  Report 6, Technische Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1992.
  
  
• Robert Giegerich, Enno Ohlebusch
  Hyper-terms Described by Equations
  Report 4, Technische Fakultät, Abteilung Informationstechnik, Universität Bielefeld, 1990.