Index of 2003
Department Of Computer Science
Technical Reports
Aachener Informatik-Berichte (AIB)

Available Reports

2003-01
Jahresbericht 2002
2003-02
Jürgen Giesl, René Thiemann
Size-Change Termination for Term Rewriting
2003-03
Jürgen Giesl, Deepak Kapur
Deciding Inductive Validity of Equations
2003-04
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
Improving Dependency Pairs
2003-05
Christof Löding, Philipp Rohde
Solving the Sabotage Game is PSPACE-hard
2003-06
Franz Josef Och
Statistical Machine Translation: From Single-Word Models to Alignment Templates
2003-07
Horst Lichter, Thomas von der Maßen, Alexander Nyßen, Thomas Weiler
Vergleich von Ansätzen zur Feature Modellierung bei der Softwareproduktlinienentwicklung
2003-08
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
Mechanizing Dependency Pairs