Skip to main content
SpringerLink
Log in

Frontiers of Combining Systems

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Bernhard Gramlich

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

    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 3717)

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

Included in the following conference series:

Conference proceedings info: FroCoS 2005.

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

    Download chapter PDF

  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. Connecting Many-Sorted Structures and Theories Through Adjoint Functions

      • Franz Baader, Silvio Ghilardi
      Pages 31-47

    3. Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

      • Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
      Pages 48-64

    4. 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. About the Combination of Trees and Rational Numbers in a Complete First-Order Theory

      • Khalil Djelloul
      Pages 106-121

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

    1. The ASM Method for System Design and Analysis. A Tutorial Introduction

      • Egon Börger
      Pages 264-283

  9. Logical Problem Analysis and Encoding II

    1. Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources

      • Fausto Giunchiglia
      Pages 284-284

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

Other volumes

  1. Frontiers of Combining Systems

Keywords

Editors and Affiliations

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

    Bernhard Gramlich

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation