Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2002

Frontiers of Combining Systems

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

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)

Conference series link(s): FroCoS: International Symposium on Frontiers of Combining Systems

Conference proceedings info: FroCoS 2002.

Sections

Buy it now

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

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

Table of contents (19 papers)

  1. Front Matter

    Pages I-VIII
    PDF

  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

  10. Combining Sets with Integers

    • Calogero G. Zarba
    Pages 103-116

  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

  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

  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

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • DIST, Università di Genova, Genova, Italy

    Alessandro Armando

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation