Pages that link to "Item:Q4763533"
From MaRDI portal
The following pages link to Observable Semantics for Constraint Logic Programs (Q4763533):
Displaying 13 items.
- Transformations of CLP modules (Q671648) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators (Q1368380) (← links)
- A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages (Q1380123) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Observable behaviors and equivalences of logic programs (Q1900312) (← links)
- An algebraic perspective of constraint logic programming (Q2785838) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)
- Formal semantics of visual occam (Q4719270) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187857) (← links)
- Observational Semantics for Dynamic Logic with Binders (Q5208504) (← links)