E-Books durchsuchen

Foundations of a Constraint-Based Illustrator

Integrating <Emphasis Type="SmallCaps">HOL</Emphasis>-<Emphasis Type="SmallCaps">CASL</Emphasis> into the Development Graph Manager <Emphasis Type="SmallCaps">MAYA</Emphasis>

Monads and Modularity

A Modular Approach to Proving Confluence

Integrating BDD-Based and SAT-Based Symbolic Model Checking

Heuristics for Efficient Manipulation of Composite Constraints

Constraint-Based Model Checking for Parameterized Synchronous Systems

A Rewrite Rule Based Framework for Combining Decision Procedures <Superscript>*</Superscript>

Combining Sets with Integers

Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods

A Generalization of Shostak#x2019;s Method for Combining Decision Procedures

Combining Relational Algebra, SQL, and Constraint Programming

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning

Exploiting Constraints for Domain Managing in CLP(FD)

Tutorial: Reasoning with, about and for Constraint Handling Rules

<Emphasis Type="SmallCaps">PROSPER</Emphasis> An Investigation into Software Architecture for Embedded Proof Engines

Constraint-Lambda Calculi

Labelled Deduction over Algebras of Truth-Values<Superscript>*</Superscript>

A Temporal × Modal Approach to the Definability of Properties of Functions