The following pages link to (Q4391452):
Displaying 27 items.
- The two variable per inequality abstract domain (Q656848) (← links)
- Transformations of CLP modules (Q671648) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques (Q805270) (← links)
- CAL: A theoretical background of constraint logic programming and its applications (Q908680) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach (Q1204867) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
- MACLP: multi agent constraint logic programming (Q1857098) (← links)
- On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations (Q2095546) (← links)
- On quantified linear implications (Q2254606) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Using artificial neural networks for constraint satisfaction problem (Q4375957) (← links)
- (Q4499254) (← links)
- Preface (Q4593090) (← links)
- Contractibility for open global constraints (Q4593091) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- Predicate Pairing for program verification (Q4644353) (← links)
- Combining slicing and constraint solving for validation of measurement software (Q5030203) (← links)
- A foundation for higher-order concurrent constraint programming (Q5096300) (← links)
- Path consistency in clp(FD) (Q5096309) (← links)
