The following pages link to (Q3789061):
Displaying 13 items.
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Horn equational theories and paramodulation (Q1824409) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← 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)
- Completeness of combinations of conditional constructor systems (Q5881177) (← links)
