Home TRS.Tool TPDB Format Benchmark Batch Test About

Upload
(VAR x y) (RULES if(true,x,y) -> x if(false,x,y) -> y -(s(x),s(y)) -> -(x,y) -(x,0) -> x -(0,x) -> 0 <(s(x),s(y)) -> <(x,y) <(0,s(x)) -> true <(x,0) -> false mod(0,y) -> 0 mod(x,s(y)) -> if(<(x,s(y)),x,mod(-(x,s(y)),s(y))) mod(x,0) -> x gcd(x,y) -> gcd(y,mod(x,y)) gcd(x,0) -> x gcd(0,x) -> x ) (COMMENT from Example 3 of \cite{OO03}) (COMMENT %% TagRevision: 1 %%) (COMMENT %% Tags: [4ec3f840a05b8]left_linear{};[4ec3f87f0f1e0]non_linear{};[4ec3f8e364c34]non_orthogonal{};[4ec3f9008037a]non_terminating{};[4ec3f91b0f9a4]non_ground{};[4ec3f8a64407a]literature{};[4fc5fac30082d]coco2012{};[50d31f6c22d6f]trs{} %%)