Pages that link to "Item:Q3454087"
From MaRDI portal
The following pages link to CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087):
Displayed 5 items.
- CoLL (Q25547) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)
- (Q6192005) (← links)