swMATH10102MaRDI QIDQ22071FDOQ22071
Author name not available (Why is that?)
Official website: http://www.jaist.ac.jp/project/saigawa/
Cited In (16)
- Confluence by critical pair analysis revisited
- Title not available (Why is that?)
- Nominal confluence tool
- Conditions for confluence of innermost terminating term rewriting systems
- Disproving confluence of term rewriting systems by interpretation and ordering
- Ground confluence prover based on rewriting induction
- Certification of classical confluence results for left-linear term rewrite systems
- CSI
- IsaFoR
- Conditional Confluence
- CoLL
- ConCon
- CoCoWeb
- CO3
- FORT
- Conditional confluence (system description)
This page was built for software: Saigawa
