CSI
From MaRDI portal
Software:21746
swMATH9767MaRDI QIDQ21746FDOQ21746
Author name not available (Why is that?)
Cited In (20)
- Title not available (Why is that?)
- 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
- 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
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems
- Labelings for decreasing diagrams
- Conditional confluence (system description)
- CoLL: a confluence tool for left-linear term rewrite systems
- Reachability, confluence, and termination analysis with state-compatible automata
- Layer systems for proving confluence
This page was built for software: CSI
