Pages that link to "Item:Q4957184"
From MaRDI portal
The following pages link to Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (Q4957184):
Displaying 3 items.
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)