Pages that link to "Item:Q2405264"
From MaRDI portal
The following pages link to CSI: new evidence -- a progress report (Q2405264):
Displaying 6 items.
- CSI (Q21746) (← links)
- CSI: MSRI (Q642129) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- (Q4553285) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)