Home
TRS.Tool
TPDB Format
Benchmark
Batch Test
About
Upload
(RULES a -> b a -> f(a) b -> f(f(b)) f(f(f(b))) -> b ) (COMMENT R' from Example 3.1 from [F12-RTA] ) (COMMENT %% TagRevision: 1 %%) (COMMENT %% Tags: [4ec3f7a89687c]confluent{};[4ec3f840a05b8]left_linear{};[4ec3f8e364c34]non_orthogonal{};[4ec3f9008037a]non_terminating{};[4ec3f90ee6e88]ground{};[4ec3f8a64407a]literature{};[50d31f6c22d6f]trs{} %%)
Go!
10
50
100
200
300
500
Rewrites Limit (Use with caution)