REMIS Example Data

Termination of Term Rewrite System

Context	ofsf
Domain	reals
Fileid	termination
Name	Termination
Note	Originally by Lankford 1979, Huet & Oppen 1980
Title	Termination of Term Rewrite System
Xtitle	Termination of Term Rewrite System

Related Papers

• CollinsHong_91 Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Source code of the example

• The formatted input file
• The plain input file