scientific article; zbMATH DE number 1158761
From MaRDI portal
Publication:4391452
zbMath0900.68127MaRDI QIDQ4391452
Michael J. Maher, Joxan Jaffar
Publication date: 3 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (27)
Hybrid reasoning using universal attachment ⋮ Incremental constraint satisfaction for equational logic programming ⋮ A foundation for higher-order concurrent constraint programming ⋮ Path consistency in clp(FD) ⋮ Horn Clause Solvers for Program Verification ⋮ Contractibility for open global constraints ⋮ CAL: A theoretical background of constraint logic programming and its applications ⋮ Unnamed Item ⋮ The two variable per inequality abstract domain ⋮ Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini ⋮ Transformations of CLP modules ⋮ Nondeterminism and infinite computations in constraint programming ⋮ Introduction to the special issue on computational logic for verification ⋮ Predicate Pairing for program verification ⋮ Abstraction-carrying code: a model for mobile code safety ⋮ Using artificial neural networks for constraint satisfaction problem ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Constraint reasoning based on interval arithmetic: The tolerance propagation approach ⋮ Constraint satisfaction using constraint logic programming ⋮ On quantified linear implications ⋮ Preface ⋮ Tesseral spatio-temporal reasoning for multi-dimensional data ⋮ On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations ⋮ MACLP: multi agent constraint logic programming ⋮ Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques ⋮ Models and emerging trends of concurrent constraint programming ⋮ Combining slicing and constraint solving for validation of measurement software
This page was built for publication:
