Conferences in DBLP
Greg Nelson Foundations of a Constraint-Based Illustrator. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:1- [Conf ] Serge Autexier , Till Mossakowski Integrating HOL-CASL into the Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:2-17 [Conf ] Christoph Lüth , Neil Ghani Monads and Modularity. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:18-32 [Conf ] Michael Marte A Modular Approach to Proving Confluence. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:33-48 [Conf ] 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 ] Tuba Yavuz-Kahveci , Tevfik Bultan Heuristics for Efficient Manipulation of Composite Constraints. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:57-71 [Conf ] Giorgio Delzanno Constraint-Based Model Checking for Parameterized Synchronous Systems. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:72-86 [Conf ] Deepak Kapur A Rewrite Rule Based Framework for Combining Decision Procedures. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:87-102 [Conf ] Calogero G. Zarba Combining Sets with Integers. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:103-116 [Conf ] 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 ] 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 ] Marco Cadoli , Toni Mancini Combining Relational Algebra, SQL, and Constraint Programming. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:147-161 [Conf ] 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 ] 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 ] 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 ] Thomas F. Melham PROSPER - An Investigation into Software Architecture for Embedded Proof Engines. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:193-206 [Conf ] Matthias M. Hölzl , John N. Crossley Constraint-Lambda Calculi. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:207-221 [Conf ] 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 ] 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 ]