Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. FroCos 2002: Santa Margherita Ligure, Italy
- Alessandro Armando:
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2309, Springer 2002, ISBN 3-540-43381-3 - Greg Nelson:
Foundations of a Constraint-Based Illustrator. 1 - Serge Autexier
, Till Mossakowski:
Integrating HOL-CASL into the Development Graph Manager MAYA. 2-17 - Christoph Lüth, Neil Ghani:
Monads and Modularity. 18-32 - Michael Marte:
A Modular Approach to Proving Confluence. 33-48 - Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking. 49-56 - Tuba Yavuz-Kahveci, Tevfik Bultan:
Heuristics for Efficient Manipulation of Composite Constraints. 57-71 - Giorgio Delzanno:
Constraint-Based Model Checking for Parameterized Synchronous Systems. 72-86 - Deepak Kapur:
A Rewrite Rule Based Framework for Combining Decision Procedures. 87-102 - Calogero G. Zarba:
Combining Sets with Integers. 103-116 - Martine Ceberio, Laurent Granvilliers:
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods. 117-131 - Clark W. Barrett, David L. Dill, Aaron Stump:
A Generalization of Shostak's Method for Combining Decision Procedures. 132-146 - Marco Cadoli, Toni Mancini:
Combining Relational Algebra, SQL, and Constraint Programming. 147-161 - Philippe Balbiani, Jean-François Condotta:
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. 162-176 - Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Exploiting Constraints for Domain Managing in CLP(FD). 177-191 - Thom W. Frühwirth, Slim Abdennadher:
Tutorial: Reasoning with, about and for Constraint Handling Rules. 192 - Thomas F. Melham:
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines. 193-206 - Matthias M. Hölzl, John N. Crossley:
Constraint-Lambda Calculi. 207-221 - João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
Labelled Deduction over Algebras of Truth-Values. 222-238 - Alfredo Burrieza, Inman P. de Guzmán:
A Temporal × Modal Approach to the Definability of Properties of Functions. 239-254
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
