TRS.Tool Benchmarks

Select an analysis tool.

Confluence Analysis Confluence and rewriting analysis. CompSCR Completion to strongly confluent TRSs. EqValCSR Equational validity.