Pages that link to "Item:Q915429"
From MaRDI portal
The following pages link to A rationale for conditional equational programming (Q915429):
Displayed 11 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← 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)
- Abstract data type systems (Q1391729) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Elimination of conditions (Q1974693) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Term rewriting systems with sort priorities (Q4876348) (← links)