Del i serien Lecture Notes in Computer Science

Frontiers of Combining Systems

4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Häftad, Engelska, 2002

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002. The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes into constraint programming and deduction systems.

Produktinformation

Utgivningsdatum2002-03-20
Mått155 x 235 x 15 mm
Vikt417 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor264
Upplaga2002
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540433811

Tillhör följande kategorier

Artificiell intelligens inom Data och IT

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.