5. FroCoS 2005:
Logics, Theories, and Decision Procedures I
Logics, Theories, and Decision Procedures II
: About the Combination of Trees and Rational Numbers in a Complete First-Order Theory.
Constraint Solving and Programming
Logical Problem Analysis and Encoding I
Combination Issues in Rewriting and Programming
Compositional System Design and Refinement
: The ASM Method for System Design and Analysis. A Tutorial Introduction.
Logical Problem Analysis and Encoding II
: Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.
Theorem Proving Frameworks and Systems