Abstract is missing.
- Foundations of a Constraint-Based IllustratorGreg Nelson. 1 [doi]
- Integrating HOL-CASL into the Development Graph Manager MAYASerge Autexier, Till Mossakowski. 2-17 [doi]
- Monads and ModularityChristoph Lüth, Neil Ghani. 18-32 [doi]
- A Modular Approach to Proving ConfluenceMichael Marte. 33-48 [doi]
- Integrating BDD-Based and SAT-Based Symbolic Model CheckingAlessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella. 49-56 [doi]
- Heuristics for Efficient Manipulation of Composite ConstraintsTuba Yavuz-Kahveci, Tevfik Bultan. 57-71 [doi]
- Constraint-Based Model Checking for Parameterized Synchronous SystemsGiorgio Delzanno. 72-86 [doi]
- A Rewrite Rule Based Framework for Combining Decision ProceduresDeepak Kapur. 87-102 [doi]
- Combining Sets with IntegersCalogero G. Zarba. 103-116 [doi]
- Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval MethodsMartine Ceberio, Laurent Granvilliers. 117-131 [doi]
- A Generalization of Shostak s Method for Combining Decision ProceduresClark W. Barrett, David L. Dill, Aaron Stump. 132-146 [doi]
- Combining Relational Algebra, SQL, and Constraint ProgrammingMarco Cadoli, Toni Mancini. 147-161 [doi]
- Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal ReasoningPhilippe Balbiani, Jean-François Condotta. 162-176 [doi]
- Exploiting Constraints for Domain Managing in CLP(FD)Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano. 177-191 [doi]
- Tutorial: Reasoning with, about and for Constraint Handling RulesThom W. Frühwirth, Slim Abdennadher. 192 [doi]
- PROSPER - An Investigation into Software Architecture for Embedded Proof EnginesThomas F. Melham. 193-206 [doi]
- Constraint-Lambda CalculiMatthias M. Hölzl, John N. Crossley. 207-221 [doi]
- Labelled Deduction over Algebras of Truth-ValuesJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò. 222-238 [doi]
- A Temporal × Modal Approach to the Definability of Properties of FunctionsAlfredo Burrieza, Inman P. de Guzmán. 239-254 [doi]