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