Skip to main content
  • Conference proceedings
  • © 2005

Frontiers of Combining Systems

5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings

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

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 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Logics, Theories, and Decision Procedures I

    1. A Comprehensive Framework for Combined Decision Procedures

      • Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli
      Pages 1-30
    2. Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

      • Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
      Pages 48-64
    3. On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal

      • Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
      Pages 65-80
  3. Interface Formalisms

    1. Sociable Interfaces

      • Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
      Pages 81-105
  4. Logics, Theories, and Decision Procedures II

    1. A Complete Temporal and Spatial Logic for Distributed Systems

      • Dirk Pattinson, Bernhard Reus
      Pages 122-137
  5. Constraint Solving and Programming

    1. Hybrid CSP Solving

      • Eric Monfroy, Frédéric Saubion, Tony Lambert
      Pages 138-167
    2. An Efficient Decision Procedure for UTVPI Constraints

      • Shuvendu K. Lahiri, Madanlal Musuvathi
      Pages 168-183
    3. Declarative Constraint Programming with Definitional Trees

      • Rafael del Vado Vírseda
      Pages 184-199
  6. Logical Problem Analysis and Encoding I

    1. Logical Analysis of Hash Functions

      • Dejan Jovanović, Predrag Janičić
      Pages 200-215
  7. Combination Issues in Rewriting and Programming

    1. Proving and Disproving Termination of Higher-Order Functions

      • Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
      Pages 216-231
    2. Proving Liveness with Fairness Using Rewriting

      • Adam Koprowski, Hans Zantema
      Pages 232-247
    3. A Concurrent Lambda Calculus with Futures

      • Joachim Niehren, Jan Schwinghammer, Gert Smolka
      Pages 248-263
  8. Compositional System Design and Refinement

  9. Logical Problem Analysis and Encoding II

  10. Theorem Proving Frameworks and Systems

    1. Connecting a Logical Framework to a First-Order Logic Prover

      • Andreas Abel, Thierry Coquand, Ulf Norell
      Pages 285-301
    2. Combination of Isabelle/HOL with Automatic Tools

      • Sergey Tverdyshev
      Pages 302-309
    3. ATS: A Language That Combines Programming with Theorem Proving

      • Sa Cui, Kevin Donnelly, Hongwei Xi
      Pages 310-320

Other Volumes

  1. Frontiers of Combining Systems

Keywords

  • AI logic
  • Isabelle
  • automated deduction
  • binary decision diagrams
  • classification
  • constraint programming
  • constraint solving
  • data structure
  • declarative programming
  • distributed systems
  • programming
  • proof theory
  • symbolic computation
  • theorem proving
  • verification

Editors and Affiliations

  • Fakultät für Informatik, Technische Universität Wien, Wien, Austria

    Bernhard Gramlich

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions