Abstract is missing.
- A Comprehensive Framework for Combined Decision ProceduresSilvio Ghilardi, Enrica Nicolini, Daniele Zucchelli. 1-30 [doi]
- Connecting Many-Sorted Structures and Theories Through Adjoint FunctionsFranz Baader, Silvio Ghilardi. 31-47 [doi]
- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted LogicSilvio Ranise, Christophe Ringeissen, Calogero G. Zarba. 48-64 [doi]
- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental AppraisalAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz. 65-80 [doi]
- Sociable InterfacesLuca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea. 81-105 [doi]
- About the Combination of Trees and Rational Numbers in a Complete First-Order TheoryKhalil Djelloul. 106-121 [doi]
- A Complete Temporal and Spatial Logic for Distributed SystemsDirk Pattinson, Bernhard Reus. 122-137 [doi]
- Hybrid CSP SolvingEric Monfroy, Frédéric Saubion, Tony Lambert. 138-167 [doi]
- An Efficient Decision Procedure for UTVPI ConstraintsShuvendu K. Lahiri, Madanlal Musuvathi. 168-183 [doi]
- Declarative Constraint Programming with Definitional TreesRafael del Vado Vírseda. 184-199 [doi]
- Logical Analysis of Hash FunctionsDejan Jovanovic, Predrag Janicic. 200-215 [doi]
- Proving and Disproving Termination of Higher-Order FunctionsJürgen Giesl, René Thiemann, Peter Schneider-Kamp. 216-231 [doi]
- Proving Liveness with Fairness Using RewritingAdam Koprowski, Hans Zantema. 232-247 [doi]
- A Concurrent Lambda Calculus with FuturesJoachim Niehren, Jan Schwinghammer, Gert Smolka. 248-263 [doi]
- The ASM Method for System Design and Analysis. A Tutorial IntroductionEgon Börger. 264-283 [doi]
- Matching Classifications via a Bidirectional Integration of SAT and Linguistic ResourcesFausto Giunchiglia. 284-284 [doi]
- Connecting a Logical Framework to a First-Order Logic ProverAndreas Abel, Thierry Coquand, Ulf Norell. 285-301 [doi]
- Combination of Isabelle/HOL with Automatic ToolsSergey Tverdyshev. 302-309 [doi]
- ATS: A Language That Combines Programming with Theorem ProvingSa Cui, Kevin Donnelly, Hongwei Xi. 310-320 [doi]