© 2005

Frontiers of Combining Systems

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

  • Bernhard Gramlich
Conference proceedings FroCoS 2005

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3717)

Table of contents

  1. Front Matter
  2. Logics, Theories, and Decision Procedures I

    1. Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli
      Pages 1-30
    2. Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
      Pages 48-64
    3. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
      Pages 65-80
  3. Interface Formalisms

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

  5. Constraint Solving and Programming

    1. Eric Monfroy, Frédéric Saubion, Tony Lambert
      Pages 138-167
    2. Shuvendu K. Lahiri, Madanlal Musuvathi
      Pages 168-183
    3. Rafael del Vado Vírseda
      Pages 184-199
  6. Logical Problem Analysis and Encoding I

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

    1. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
      Pages 216-231
    2. Adam Koprowski, Hans Zantema
      Pages 232-247
    3. 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. Andreas Abel, Thierry Coquand, Ulf Norell
      Pages 285-301
    2. Sergey Tverdyshev
      Pages 302-309
    3. Sa Cui, Kevin Donnelly, Hongwei Xi
      Pages 310-320

About these proceedings


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

  • Bernhard Gramlich
    • 1
  1. 1.Fakultät für InformatikTechnische Universität WienWienAustria

Bibliographic information