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
• Confluence of non-left-linear TRSs via relative termination
• CSI -- a confluence tool
• CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
• Conditions for confluence of innermost terminating term rewriting systems
• Disproving confluence of term rewriting systems by interpretation and ordering
• Nominal Confluence Tool
• De Bruijn's weak diamond property revisited
• 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
• Reachability, confluence, and termination analysis with state-compatible automata
• Layer Systems for Proving Confluence

This page was built for software: CSI