Skip to main content
SpringerLink
Log in
Book cover

Frontiers of Combining Systems

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Alessandro Armando

    1. DIST, Università di Genova, Genova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2309)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: FroCoS 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Foundations of a Constraint-Based Illustrator

    • Greg Nelson
    Pages 1-1

  3. Integrating HOL-CASL into the Development Graph Manager MAYA

    • Serge Autexier, Till Mossakowski
    Pages 2-17

  4. Monads and Modularity

    • Christoph Lüth, Neil Ghani
    Pages 18-32

  5. A Modular Approach to Proving Confluence

    • Michael Marte
    Pages 33-48

  6. Integrating BDD-Based and SAT-Based Symbolic Model Checking

    • Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
    Pages 49-56

  7. Heuristics for Efficient Manipulation of Composite Constraints

    • Tuba Yavuz-Kahveci, Tevfik Bultan
    Pages 57-71

  8. Constraint-Based Model Checking for Parameterized Synchronous Systems

    • Giorgio Delzanno
    Pages 72-86

  9. A Rewrite Rule Based Framework for Combining Decision Procedures *

    • Deepak Kapur
    Pages 87-102

  10. Combining Sets with Integers

    • Calogero G. Zarba
    Pages 103-116

  11. Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods

    • Martine Ceberio, Laurent Granvilliers
    Pages 117-131

  12. A Generalization of Shostak#x2019;s Method for Combining Decision Procedures

    • Clark W. Barrett, David L. Dill, Aaron Stump
    Pages 132-146

  13. Combining Relational Algebra, SQL, and Constraint Programming

    • Marco Cadoli, Toni Mancini
    Pages 147-161

  14. Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning

    • Philippe Balbiani, Jean-François Condotta
    Pages 162-176

  15. Exploiting Constraints for Domain Managing in CLP(FD)

    • Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Pages 177-192

  16. Tutorial: Reasoning with, about and for Constraint Handling Rules

    • Thom Fruehwirth, Slim Abdennadher
    Pages 192-192

  17. PROSPER An Investigation into Software Architecture for Embedded Proof Engines

    • Thomas F. Melham
    Pages 193-206

  18. Constraint-Lambda Calculi

    • Matthias Hölzl, John N. Crossley
    Pages 207-222

  19. Labelled Deduction over Algebras of Truth-Values*

    • João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Pages 222-239

  20. A Temporal × Modal Approach to the Definability of Properties of Functions

    • Alfredo Burrieza, Inma P. de Guzmán
    Pages 239-254
Back to top

Other volumes

  1. Frontiers of Combining Systems

Keywords

About this book

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- mon forum for the presentation and discussion of research activities on the c- bination and integration of systems in various areas of computer science, such as logic, computation, program development and proof, arti?cial intelligence, mechanical veri?cation, and symbolic computation. There were 35 submissions of high quality, authored by researchers from countries including Australia, Belgium, Brazil, Finland, France, Germany, Italy, Portugal, Spain, Singapore, United Kingdom, United States of America, and - goslavia. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic program committee meeting was held through the Internet. The program committee selected 14 research contributions. The topics covered by the selected papers include: combination of logics, c- bination of constraint solving techniques, combination of decision procedures, combination problems in veri?cation, modular properties of theorem proving, integration of decision procedures and other solving processes into constraint programming and deduction systems.

Editors and Affiliations

  • DIST, Università di Genova, Genova, Italy

    Alessandro Armando

Bibliographic Information

  • Book Title: Frontiers of Combining Systems

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

  • Editors: Alessandro Armando

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-45988-X

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2002

  • Softcover ISBN: 978-3-540-43381-1Published: 20 March 2002

  • eBook ISBN: 978-3-540-45988-0Published: 01 August 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 264

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation