CSI

swMATH9767MaRDI QIDQ21746FDOQ21746

Author name not available (Why is that?)

Described by source

• CSI: new evidence -- a progress report

Cited In (20)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Certified Rule Labeling
• Ground confluence of order-sorted conditional specifications modulo axioms
• Title not available (Why is that?)
• Ground Confluence Prover based on Rewriting Induction
• CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
• Conditions for confluence of innermost terminating term rewriting systems
• Nominal Confluence Tool
• De Bruijn's weak diamond property revisited
• Confluence of Non-Left-Linear TRSs via Relative Termination
• Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
• Conditional Confluence (System Description)
• Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
• Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems
• Title not available (Why is that?)
• Labelings for decreasing diagrams
• CSI – A Confluence Tool
• Reachability, confluence, and termination analysis with state-compatible automata
• Layer Systems for Proving Confluence

This page was built for software: CSI