TORPA
From MaRDI portal
Software:22088
swMATH10120MaRDI QIDQ22088FDOQ22088
Author name not available (Why is that?)
Cited In (9)
- Accelerated Modal Abstractions of Labelled Transition Systems
- Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
- Term Rewriting and Applications
- Automated Reasoning
- Implementation and Application of Automata
- Left-linear Bounded TRSs are Inverse Recognizability Preserving
- On tree automata that certify termination of left-linear term rewriting systems
- Termination of String Rewriting with Matrix Interpretations
- Termination of string rewriting proved automatically
This page was built for software: TORPA
