Pages that link to "Item:Q5096353"
From MaRDI portal
The following pages link to A rewrite approach for constraint logic programming (Q5096353):
Displaying 6 items.
- A rewrite mechanism for logic programs with negation (Q1127337) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Term Rewriting with Logical Constraints (Q2849501) (← links)
- An approach to declarative programming based on a rewriting logic (Q4700443) (← links)
- A rewrite mechanism for logic programs with negation (Q5055829) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)