Tsukuba
From MaRDI portal
Software:22085
No author found.
Related Items (10)
Termination of string rewriting proved automatically ⋮ Mechanically proving termination using polynomial interpretations ⋮ Tyrolean termination tool: techniques and features ⋮ Unnamed Item ⋮ RAPT: A Program Transformation System Based on Term Rewriting ⋮ Term Rewriting and Applications ⋮ Automating the dependency pair method ⋮ Proving operational termination of membership equational programs ⋮ Automated Reasoning ⋮ Modular and incremental automated termination proofs
This page was built for software: Tsukuba
