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)

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

This page was built for software: NaTT