Saigawa
From MaRDI portal
Software:22071
swMATH10102MaRDI QIDQ22071FDOQ22071
Author name not available (Why is that?)
Cited In (8)
- 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
- Conditional confluence (system description)
This page was built for software: Saigawa
