Pages that link to "Item:Q5055711"

The following pages link to Completion-time optimization of rewrite-time goal solving (Q5055711):

Displaying 10 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)
• Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
• Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures (Q5170162) (← links)
• Completion of first-order clauses with equality by strict superposition (Q5881276) (← links)
• Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation (Q5881277) (← links)