Pages that link to "Item:Q1378383"
From MaRDI portal
The following pages link to Memoing evaluation for constraint extensions of datalog (Q1378383):
Displaying 5 items.
- Subsumtion and indexing in constraint query languages with linear arithmetic constraints. (Q1353930) (← links)
- Constraint-generating dependencies (Q1807678) (← links)
- Memory-saving evaluation plans for Datalog (Q2296730) (← links)
- TCHR: a framework for tabled CLP (Q3514891) (← links)
- Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (Q4957184) (← links)