15. RTA 2004: Aachen, Germany

• Neil D. Jones, Nina Bohr:
  Termination Analysis of the Untyped lamba-Calculus. 1-23
  
• Frédéric Blanqui:
  A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems. 24-39
  
• Yoshihito Toyama:
  Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms. 40-54
  
• Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret:
  Monadic Second-Order Unification Is NP-Complete. 55-69
  
• Evelyne Contejean:
  A Certified AC Matching Algorithm. 70-84
  
• Johannes Waldmann:
  Matchbox: A Tool for Match-Bounded String Rewriting. 85-94
  
• Hans Zantema:
  TORPA: Termination of Rewriting Proved Automatically. 95-104
  
• Julien Carme, Joachim Niehren, Marc Tommasi:
  Querying Unranked Trees with Stepwise Tree Automata. 105-118
  
• Toshinori Takai:
  A Verification Technique Using Term Rewriting Systems and Abstract Interpretation. 119-133
  
• Herman Geuvers, Rob Nederpelt:
  Rewriting for Fitch Style Natural Deductions. 134-154
  
• Ian Mackie:
  Efficient lambda-Evaluation with Interaction Nets. 155-169
  
• Sébastien Limet, Gernot Salzer:
  Proving Properties of Term Rewrite Systems via Logic Programs. 170-184
  
• Jakob Grue Simonsen:
  On the Modularity of Confluence in Infinitary Term Rewriting. 185-199
  
• Salvador Lucas:
  mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting. 200-209
  
• Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke:
  Automated Termination Proofs with AProVE. 210-220
  
• Stefan Blom:
  An Approximation Based Approach to Infinitary Lambda Calculi. 221-232
  
• Jeroen Ketema:
  Böhm-Like Trees for Term Rewriting Systems. 233-248
  
• Nao Hirokawa, Aart Middeldorp:
  Dependency Pairs Revisited. 249-268
  
• Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama:
  Inductive Theorems for Higher-Order Rewriting. 269-284
  
• Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada:
  The Joinability and Unification Problems for Confluent Semi-constructor TRSs. 285-300
  
• Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
  A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. 301-311