5. FroCos 2005: Vienna, Austria

Bernhard Gramlich (Ed.): Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings. Lecture Notes in Computer Science 3717 Springer 2005, ISBN 3-540-29051-6 BibTeX

Logics, Theories, and Decision Procedures I

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli:
A Comprehensive Framework for Combined Decision Procedures. 1-30
Electronic Edition (link) BibTeX
Franz Baader, Silvio Ghilardi:
Connecting Many-Sorted Structures and Theories Through Adjoint Functions. 31-47
Electronic Edition (link) BibTeX
Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba:
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. 48-64
Electronic Edition (link) BibTeX
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. 65-80
Electronic Edition (link) BibTeX

Interface Formalisms

Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. 81-105
Electronic Edition (link) BibTeX

Logics, Theories, and Decision Procedures II

Khalil Djelloul:
About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. 106-121
Electronic Edition (link) BibTeX
Dirk Pattinson, Bernhard Reus:
A Complete Temporal and Spatial Logic for Distributed Systems. 122-137
Electronic Edition (link) BibTeX

Constraint Solving and Programming

Eric Monfroy, Frédéric Saubion, Tony Lambert:
Hybrid CSP Solving. 138-167
Electronic Edition (link) BibTeX
Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Decision Procedure for UTVPI Constraints. 168-183
Electronic Edition (link) BibTeX
Rafael del Vado Vírseda:
Declarative Constraint Programming with Definitional Trees. 184-199
Electronic Edition (link) BibTeX

Logical Problem Analysis and Encoding I

Dejan Jovanovic, Predrag Janicic:
Logical Analysis of Hash Functions. 200-215
Electronic Edition (link) BibTeX

Combination Issues in Rewriting and Programming

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp:
Proving and Disproving Termination of Higher-Order Functions. 216-231
Electronic Edition (link) BibTeX
Adam Koprowski, Hans Zantema:
Proving Liveness with Fairness Using Rewriting. 232-247
Electronic Edition (link) BibTeX
Joachim Niehren, Jan Schwinghammer, Gert Smolka:
A Concurrent Lambda Calculus with Futures. 248-263
Electronic Edition (link) BibTeX

Compositional System Design and Refinement

Egon Börger:
The ASM Method for System Design and Analysis. A Tutorial Introduction. 264-283
Electronic Edition (link) BibTeX

Logical Problem Analysis and Encoding II

Fausto Giunchiglia:
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. 284-284
Electronic Edition (link) BibTeX

Theorem Proving Frameworks and Systems

Andreas Abel, Thierry Coquand, Ulf Norell:
Connecting a Logical Framework to a First-Order Logic Prover. 285-301
Electronic Edition (link) BibTeX
Sergey Tverdyshev:
Combination of Isabelle/HOL with Automatic Tools. 302-309
Electronic Edition (link) BibTeX
Sa Cui, Kevin Donnelly, Hongwei Xi:
ATS: A Language That Combines Programming with Theorem Proving. 310-320
Electronic Edition (link) BibTeX