TORPA

MaRDI QIDQ22088swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-25979-4_7

Cited in

(13)

• Accelerated Modal Abstractions of Labelled Transition Systems
• Automated Reasoning
• Implementation and Application of Automata
• CiME
• Matchbox
• TPDB
• Tsukuba
• Left-linear bounded TRSs are inverse recognizability preserving
• Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
• On tree automata that certify termination of left-linear term rewriting systems
• Termination of string rewriting proved automatically
• Term Rewriting and Applications
• Termination of String Rewriting with Matrix Interpretations

This page was built for software: TORPA