Term rewrite systems

The following lists of termination problems are available:

• examples1.tgz (provided by Jürgen Giesl)
  
  
• examples2.tgz (provided by Claude Marché and Xavier Urbain)
  
  
• examples3.tgz (provided by Cristina Borralleras and Albert Rubio)

• examples4.tgz (provided by Aart Middeldorp)
  

The following lists include termination problems for term rewiting modulo associativity and conmmutativity (AC):

• cime-AC-examples.tgz (provided by Claude Marché)

Back to TPDB's Home Page