Theoretical Computer Science, Volume 208

Volume 208, Numbers 1-2, 28 November 1998

• Klaus Madlener, Birgit Reinert:
  Relating Rewriting Techniques on Monoids and Rings: Congruences on Monoids and Ideals in Monoid Rings. 3-31
  
• Jean-Pierre Jouannaud, Albert Rubio:
  Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering. 33-58
  
• M. R. K. Krishna Rao:
  Modular Aspects of Term Graph Rewriting. 59-86
  
• Masahiko Sakai, Yoshihito Toyama:
  Semantics and Strong Sequentiality of Priority Term Rewriting Systems. 87-110
  
• Manfred Schmidt-Schauß:
  A Decision Algorithm for Distributive Unification. 111-148
  
• Jürgen Stuber:
  Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. 149-177
  
• Ralf Treinen:
  The First-Order Theory of Linear One-Step Rewriting is Undecidable. 179-190