NaTT

swMATH43909MaRDI QIDQ5972578FDOQ5972578

Author name not available (Why is that?)

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