Conferences in DBLP

Frontiers of Combining Systems (FroCoS) (frocos)
2002 (conf/frocos/2002)

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