Cited in
(39)- scientific article; zbMATH DE number 6744203 (Why is no real title available?)
- Nominal confluence tool
- Ground confluence of order-sorted conditional specifications modulo axioms
- Confluence of non-left-linear TRSs via relative termination
- Deciding confluence and normal form properties of ground term rewrite systems efficiently
- CSI -- a confluence tool
- Conditions for confluence of innermost terminating term rewriting systems
- Disproving confluence of term rewriting systems by interpretation and ordering
- De Bruijn's weak diamond property revisited
- Certified rule labeling
- Datatype defining rewrite systems for naturals and integers
- CeTA
- Tyrolean
- CRC 3
- CoLoR
- CiME
- IsaFoR
- Saigawa
- Conditional Confluence
- CoLL
- ConCon
- Nagoya Termination Tool
- CoCoWeb
- CO3
- Cops
- Decreasing Diagrams
- FORT
- Decreasing Diagrams II
- Well Quasi Orders
- Ground confluence prover based on rewriting induction
- Certifying confluence proofs via relative termination and rule labeling
- Certification of classical confluence results for left-linear term rewrite systems
- WANDA
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems
- Labelings for decreasing diagrams
- Reachability, confluence, and termination analysis with state-compatible automata
- CoLL: a confluence tool for left-linear term rewrite systems
- Conditional confluence (system description)
- Layer systems for proving confluence
This page was built for software: CSI
