Pages that link to "Item:Q1891129"
From MaRDI portal
The following pages link to Negation and constraint logic programming (Q1891129):
Displayed 15 items.
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- Semantics of structured normal logic programs (Q444364) (← links)
- Implementing constructive intensional negation (Q839831) (← links)
- A functorial framework for constraint normal logic programming (Q934677) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Institutions for logic programming (Q1391732) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- The first order theory of primal grammars is decidable (Q1882903) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- (Q2844060) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Extending Constructive Logic Negation with Types (Q4982631) (← links)
- Selective Unification in (Constraint) Logic Programming* (Q4988929) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)