Pages that link to "Item:Q1978646"
From MaRDI portal
The following pages link to Logicality of conditional rewrite systems (Q1978646):
Displayed 4 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)