[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |
Originator: D. Cohen, Phil Watson [CW91]
Date: June 1993
Summary: Is the system of Cohen and Watson for arithmetic terminating?
An interesting system for doing arithmetic by rewriting was presented in [CW91]. Unfortunately, its termination has not been proved.
Termination of a related system is proved in [WZ95].
[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |