Saigawa
From MaRDI portal
Cited in
(16)- Conditions for confluence of innermost terminating term rewriting systems
- Nominal confluence tool
- Conditional confluence (system description)
- Disproving confluence of term rewriting systems by interpretation and ordering
- scientific article; zbMATH DE number 6744203 (Why is no real title available?)
- CSI
- IsaFoR
- Conditional Confluence
- CoLL
- ConCon
- CoCoWeb
- CO3
- FORT
- Confluence by critical pair analysis revisited
- Certification of classical confluence results for left-linear term rewrite systems
- Ground confluence prover based on rewriting induction
This page was built for software: Saigawa
