Pages that link to "Item:Q3524170"
From MaRDI portal
The following pages link to A Linear-Logic Semantics for Constraint Handling Rules (Q3524170):
Displaying 5 items.
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- A complete and terminating execution model for Constraint Handling Rules (Q3585170) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
