[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |
Originator: Franz Baader [Baa90]
Date: June 1993
Summary: Does there exist a semigroup theory for which there is a reduced canonical term-rewriting system that is not length decreasing?
Does there exist a semigroup theory (without constants in the equations) for which there is a reduced canonical term-rewriting system (with the right-hand side and subterms of the left in normal form) that is not length decreasing?
[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |