Pages that link to "Item:Q4452636"
From MaRDI portal
The following pages link to Constraint Logic Programming with Hereditary Harrop formulas (Q4452636):
Displaying 6 items.
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A proof procedure for the logic of hereditary Harrop formulas (Q1311397) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)