TORPA

MaRDI QIDQ22088swMATHFDO

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

Cited in

(13)

• CiME
• TPDB
• Matchbox
• Tsukuba
• Termination of String Rewriting with Matrix Interpretations
• 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
• Implementation and Application of Automata
• Term Rewriting and Applications
• Termination of string rewriting proved automatically
• On tree automata that certify termination of left-linear term rewriting systems

This page was built for software: TORPA