NaTT

MaRDI QIDQ5972578swMATHFDO

Official website https://www.trs.cm.is.nagoya-u.ac.jp/NaTT/

Described by source

• Term orderings for non-reachability of (conditional) rewriting

Cited in

(20)

• Tuple interpretations for termination of term rewriting
• Multi-dimensional interpretations for termination of term rewriting
• Relative termination via dependency pairs
• On probabilistic term rewriting
• Tyrolean
• mkbTT
• MU-TERM
• Matchbox
• Slothrop
• TPDB
• TPA
• CoLL
• KBCV
• Nagoya Termination Tool
• term-rewriting
• CoCoWeb
• Cops
• REVE
• KoAT
• Nagoya termination tool

This page was built for software: NaTT