4. FroCos 2002: Santa Margherita Ligure, Italy

@proceedings{DBLP:conf/frocos/2002,
  editor    = {Alessandro Armando},
  title     = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
               2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  booktitle = {FroCoS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2309},
  year      = {2002},
  isbn      = {3-540-43381-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Greg Nelson:
  Foundations of a Constraint-Based Illustrator. 1
  Electronic Edition (Springer LINK) BibTeX
• Serge Autexier, Till Mossakowski:
  Integrating HOL-CASL into the Development Graph Manager MAYA. 2-17
  Electronic Edition (Springer LINK) BibTeX
• Christoph Lüth, Neil Ghani:
  Monads and Modularity. 18-32
  Electronic Edition (Springer LINK) BibTeX
• Michael Marte:
  A Modular Approach to Proving Confluence. 33-48
  Electronic Edition (Springer LINK) BibTeX
• Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
  Integrating BDD-Based and SAT-Based Symbolic Model Checking. 49-56
  Electronic Edition (Springer LINK) BibTeX
• Tuba Yavuz-Kahveci, Tevfik Bultan:
  Heuristics for Efficient Manipulation of Composite Constraints. 57-71
  Electronic Edition (Springer LINK) BibTeX
• Giorgio Delzanno:
  Constraint-Based Model Checking for Parameterized Synchronous Systems. 72-86
  Electronic Edition (Springer LINK) BibTeX
• Deepak Kapur:
  A Rewrite Rule Based Framework for Combining Decision Procedures. 87-102
  Electronic Edition (Springer LINK) BibTeX
• Calogero G. Zarba:
  Combining Sets with Integers. 103-116
  Electronic Edition (Springer LINK) BibTeX
• Martine Ceberio, Laurent Granvilliers:
  Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods. 117-131
  Electronic Edition (Springer LINK) BibTeX
• Clark W. Barrett, David L. Dill, Aaron Stump:
  A Generalization of Shostak's Method for Combining Decision Procedures. 132-146
  Electronic Edition (Springer LINK) BibTeX
• Marco Cadoli, Toni Mancini:
  Combining Relational Algebra, SQL, and Constraint Programming. 147-161
  Electronic Edition (Springer LINK) BibTeX
• Philippe Balbiani, Jean-François Condotta:
  Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. 162-176
  Electronic Edition (Springer LINK) BibTeX
• Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
  Exploiting Constraints for Domain Managing in CLP(FD). 177-191
  Electronic Edition (Springer LINK) BibTeX
• Thom W. Frühwirth, Slim Abdennadher:
  Tutorial: Reasoning with, about and for Constraint Handling Rules. 192
  Electronic Edition (Springer LINK) BibTeX
• Thomas F. Melham:
  PROSPER - An Investigation into Software Architecture for Embedded Proof Engines. 193-206
  Electronic Edition (Springer LINK) BibTeX
• Matthias M. Hölzl, John N. Crossley:
  Constraint-Lambda Calculi. 207-221
  Electronic Edition (Springer LINK) BibTeX
• João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
  Labelled Deduction over Algebras of Truth-Values. 222-238
  Electronic Edition (Springer LINK) BibTeX
• Alfredo Burrieza, Inman P. de Guzmán:
  A Temporal × Modal Approach to the Definability of Properties of Functions. 239-254
  Electronic Edition (Springer LINK) BibTeX