Pages that link to "Item:Q5055711"
From MaRDI portal
The following pages link to Completion-time optimization of rewrite-time goal solving (Q5055711):
Displayed 5 items.
- A rationale for conditional equational programming (Q915429) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Efficient deduction in equality Horn logic by Horn-completion (Q1182107) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)