Frontiers of Combining Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Combining Logic and Optimization in Cutting Plane Theory
3. Altmetric Badge
   Chapter 2 Towards Cooperative Interval Narrowing
4. Altmetric Badge
   Chapter 3 Integrating Constraint Solving into Proof Planning
5. Altmetric Badge
   Chapter 4 Termination of Constraint Contextual Rewriting
6. Altmetric Badge
   Chapter 5 Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
7. Altmetric Badge
   Chapter 6 Normal Forms and Proofs in Combined Modal and Temporal Logics
8. Altmetric Badge
   Chapter 7 Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
9. Altmetric Badge
   Chapter 8 Handling Differential Equations with Constraints for Decision Support
10. Altmetric Badge
    Chapter 9 Non-trivial Symbolic Computations in Proof Planning
11. Altmetric Badge
    Chapter 10 Integrating Computer Algebra and Reasoning through the Type System of Aldor
12. Altmetric Badge
    Chapter 11 Combinations of Model Checking and Theorem Proving
13. Altmetric Badge
    Chapter 12 Compiling Multi-paradigm Declarative Programs into Prolog
14. Altmetric Badge
    Chapter 13 Modular Redundancy for Theorem Proving
15. Altmetric Badge
    Chapter 14 Composing and Controlling Search in Reasoning Theories Using Mappings
16. Altmetric Badge
    Chapter 15 Why Combined Decision Problems Are Often Intractable
17. Altmetric Badge
    Chapter 16 Congruence Closure Modulo Associativity and Commutativity
18. Altmetric Badge
    Chapter 17 Combining Equational Theories Sharing Non-Collapse-Free Constructors
19. Altmetric Badge
    Chapter 18 Comparing Expressiveness of Set Constructor Symbols