↓ Skip to main content
What is this page? Embed badge

Frontiers of Combining Systems

Overview of attention for book
Cover of 'Frontiers of Combining Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Overview of Fibred Semantics and the Combination of Logics
  3. Altmetric Badge
    Chapter 2 Generalising Propositional Modal Logic Using Labelled Deductive Systems
  4. Altmetric Badge
    Chapter 3 A Topography of Labelled Modal Logics
  5. Altmetric Badge
    Chapter 4 Combining Classical and Intuitionistic Logic
  6. Altmetric Badge
    Chapter 5 A New Correctness Proof of the Nelson-Oppen Combination Procedure
  7. Altmetric Badge
    Chapter 6 Cooperation of Decision Procedures for the Satisfiability Problem
  8. Altmetric Badge
    Chapter 7 Combining Finite Model Generation with Theorem Proving
  9. Altmetric Badge
    Chapter 8 Reasoning Theories
  10. Altmetric Badge
    Chapter 9 Natural Language Presentation and Combination of Automatically Generated Proofs
  11. Altmetric Badge
    Chapter 10 Symbolic Computation: Computer Algebra and Logic
  12. Altmetric Badge
    Chapter 11 Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems
  13. Altmetric Badge
    Chapter 12 Logic Tuple Spaces for the Coordination of Heterogenous Agents
  14. Altmetric Badge
    Chapter 13 Integration Systems and Interaction Spaces
  15. Altmetric Badge
    Chapter 14 Combining Solvers in a Meta Constraint Logic Programming Architecture
  16. Altmetric Badge
    Chapter 15 Membership-Constraints and Complexity in Logic Programming with Sets
  17. Altmetric Badge
    Chapter 16 Integrating Lists, Multisets, and Sets in a Logic Programming Framework
  18. Altmetric Badge
    Chapter 17 CLP( x ) for Proving Program Properties
  19. Altmetric Badge
    Chapter 18 First-Order Constrained Lambda Calculus
  20. Altmetric Badge
    Chapter 19 Unified Relational Framework for Programming Paradigm Combination
  21. Altmetric Badge
    Chapter 20 Model Checking ACTL Constrained Processes
Attention for Chapter 8: Reasoning Theories
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Reasoning Theories
Chapter number 8
Book title
Frontiers of Combining Systems
Published by
Springer, Dordrecht, January 1996
DOI 10.1007/978-94-009-0349-4_8
Book ISBNs
978-9-40-106643-3, 978-9-40-090349-4
Authors

Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott

View on publisher site

This page is provided by Altmetric.