Book Volume 3 1996

Frontiers of Combining Systems

First International Workshop, Munich, March 1996

Editors:

ISBN: 978-94-010-6643-3 (Print) 978-94-009-0349-4 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages N3-xi

  2. No Access

    Chapter

    Pages 1-55

    An Overview of Fibred Semantics and the Combination of Logics

  3. No Access

    Chapter

    Pages 57-73

    Generalising Propositional Modal Logic Using Labelled Deductive Systems

  4. No Access

    Chapter

    Pages 75-92

    A Topography of Labelled Modal Logics

  5. No Access

    Chapter

    Pages 93-102

    Combining Classical and Intuitionistic Logic

  6. No Access

    Chapter

    Pages 103-119

    A New Correctness Proof of the Nelson-Oppen Combination Procedure

  7. No Access

    Chapter

    Pages 121-139

    Cooperation of Decision Procedures for the Satisfiability Problem

  8. No Access

    Chapter

    Pages 141-155

    Combining Finite Model Generation with Theorem Proving

  9. No Access

    Chapter

    Pages 157-174

    Reasoning Theories

  10. No Access

    Chapter

    Pages 175-192

    Natural Language Presentation and Combination of Automatically Generated Proofs

  11. No Access

    Chapter

    Pages 193-219

    Symbolic Computation: Computer Algebra and Logic

  12. No Access

    Chapter

    Pages 221-234

    Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems

  13. No Access

    Chapter

    Pages 235-248

    Logic Tuple Spaces for the Coordination of Heterogenous Agents

  14. No Access

    Chapter

    Pages 249-266

    Integration Systems and Interaction Spaces

  15. No Access

    Chapter

    Pages 267-283

    Combining Solvers in a Meta Constraint Logic Programming Architecture

  16. No Access

    Chapter

    Pages 285-302

    Membership-Constraints and Complexity in Logic Programming with Sets

  17. No Access

    Chapter

    Pages 303-319

    Integrating Lists, Multisets, and Sets in a Logic Programming Framework

  18. No Access

    Chapter

    Pages 321-338

    CLP(x) for Proving Program Properties

  19. No Access

    Chapter

    Pages 339-356

    First-Order Constrained Lambda Calculus

  20. No Access

    Chapter

    Pages 357-375

    Unified Relational Framework for Programming Paradigm Combination

  21. No Access

    Chapter

    Pages 377-388

    Model Checking ACTL Constrained Processes