TORPA
From MaRDI portal
Software:22088
No author found.
Related Items (9)
Termination of string rewriting proved automatically ⋮ On tree automata that certify termination of left-linear term rewriting systems ⋮ Termination of String Rewriting with Matrix Interpretations ⋮ Implementation and Application of Automata ⋮ Term Rewriting and Applications ⋮ Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems ⋮ Accelerated Modal Abstractions of Labelled Transition Systems ⋮ Automated Reasoning ⋮ Left-linear Bounded TRSs are Inverse Recognizability Preserving
This page was built for software: TORPA
