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-...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science. Lecture notes in artificial intelligence
2309 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Frontiers of combining systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, Alessandro Armando (ed.), 2002, Berlin, Springer, 1 vol. (VIII-254 p.), Lecture notes in computer science, 3-540-43381-3 • Frontiers of Combining Systems, Texte imprimé, 9783662208694 |
Spis treści:
- 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.