Pages that link to "Item:Q1978646"
From MaRDI portal
The following pages link to Logicality of conditional rewrite systems (Q1978646):
Displaying 11 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)
- (Q3795208) (← links)
- (Q3817657) (← links)
- (Q3819993) (← links)
- Negation with logical variables in conditional rewriting (Q5055728) (← links)
- Conditional rewrite rule systems with built-in arithmetic and induction (Q5055742) (← links)
- Logic based structure rewriting systems (Q5096292) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)