Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /
This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o?ered a c-...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
| Έκδοση: | 1st ed. 2002. |
| Σειρά: | Lecture Notes in Artificial Intelligence ;
2309 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Foundations of a Constraint-Based Illustrator
- Integrating HOL-CASL into the Development Graph Manager MAYA
- Monads and Modularity
- A Modular Approach to Proving Confluence
- Integrating BDD-Based and SAT-Based Symbolic Model Checking
- Heuristics for Efficient Manipulation of Composite Constraints
- Constraint-Based Model Checking for Parameterized Synchronous Systems
- A Rewrite Rule Based Framework for Combining Decision Procedures *
- Combining Sets with Integers
- Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods
- A Generalization of Shostak#x2019;s Method for Combining Decision Procedures
- Combining Relational Algebra, SQL, and Constraint Programming
- Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning
- Exploiting Constraints for Domain Managing in CLP(FD)
- Tutorial: Reasoning with, about and for Constraint Handling Rules
- PROSPER An Investigation into Software Architecture for Embedded Proof Engines
- Constraint-Lambda Calculi
- Labelled Deduction over Algebras of Truth-Values*
- A Temporal × Modal Approach to the Definability of Properties of Functions.
