Term rewrite systems


The following lists of termination problems are available:


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


Back to TPDB's Home Page