Pages that link to "Item:Q3636821"
From MaRDI portal
The following pages link to Proving Confluence of Term Rewriting Systems Automatically (Q3636821):
Displaying 19 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- (Q2985126) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- (Q5369502) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
