↓ Skip to main content

Automated Reasoning with Analytic Tableaux and Related Methods

Overview of attention for book
Cover of 'Automated Reasoning with Analytic Tableaux and Related Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Philosophical Aspects of Computerized Verification of Mathematics
  3. Altmetric Badge
    Chapter 2 A Science of Reasoning (Extended Abstract)
  4. Altmetric Badge
    Chapter 3 Model Checking: Historical Perspective and Example (Extended Abstract)
  5. Altmetric Badge
    Chapter 4 Comparison of Theorem Provers for Modal Logics — Introduction and Summary
  6. Altmetric Badge
    Chapter 5 FaCT and DLP
  7. Altmetric Badge
    Chapter 6 Prover KT4
  8. Altmetric Badge
    Chapter 7 leanK 2.0
  9. Altmetric Badge
    Chapter 8 Logics Workbench 1.0
  10. Altmetric Badge
    Chapter 9 Optimised Functional Translation and Resolution
  11. Altmetric Badge
    Chapter 10 Benchmark Evaluation of □KE
  12. Altmetric Badge
    Chapter 11 Implementation of Propositional Temporal Logics Using BDDs
  13. Altmetric Badge
    Chapter 12 Computer Programming as Mathematics in a Programming Language and Proof System CL
  14. Altmetric Badge
    Chapter 13 A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
  15. Altmetric Badge
    Chapter 14 Hyper Tableau — The Next Generation
  16. Altmetric Badge
    Chapter 15 Fibring Semantic Tableaux
  17. Altmetric Badge
    Chapter 16 A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
  18. Altmetric Badge
    Chapter 17 A Tableau Method for Interval Temporal Logic with Projection
  19. Altmetric Badge
    Chapter 18 Bounded Model Search in Linear Temporal Logic and Its Application to Planning
  20. Altmetric Badge
    Chapter 19 On Proof Complexity of Circumscription
  21. Altmetric Badge
    Chapter 20 Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities
  22. Altmetric Badge
    Chapter 21 Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion
  23. Altmetric Badge
    Chapter 22 Simplification and Backjumping in Modal Tableau
  24. Altmetric Badge
    Chapter 23 Free Variable Tableaux for a Logic with Term Declarations
  25. Altmetric Badge
    Chapter 24 Simplification A General Constraint Propagation Technique for Propositional and Modal Tableaux
  26. Altmetric Badge
    Chapter 25 A Tableaux Calculus for Ambiguous Quantifiation
  27. Altmetric Badge
    Chapter 26 From Kripke Models to Algebraic Counter-Valuations
  28. Altmetric Badge
    Chapter 27 Deleting Redundancy in Proof Reconstruction
  29. Altmetric Badge
    Chapter 28 A New One-Pass Tableau Calculus for PLTL
  30. Altmetric Badge
    Chapter 29 Decision Procedures for Intuitionistic Propositional Logic by Program Extraction
  31. Altmetric Badge
    Chapter 30 The FaCT System
  32. Altmetric Badge
    Chapter 31 Implementation of Proof Search in the Imperative Programming Language Pizza
  33. Altmetric Badge
    Chapter 32 p-SETHEO: Strategy Parallelism in Automated Theorem Proving
Attention for Chapter 14: Hyper Tableau — The Next Generation
Altmetric Badge

Mentioned by

twitter
1 tweeter

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
7 Mendeley
citeulike
1 CiteULike
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
Hyper Tableau — The Next Generation
Chapter number 14
Book title
Automated Reasoning with Analytic Tableaux and Related Methods
Published by
Springer, Berlin, Heidelberg, May 1998
DOI 10.1007/3-540-69778-0_14
Book ISBNs
978-3-54-064406-4, 978-3-54-069778-7
Authors

Peter Baumgartner

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 2 29%
Austria 1 14%
Unknown 4 57%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 29%
Student > Bachelor 1 14%
Professor 1 14%
Student > Master 1 14%
Researcher 1 14%
Other 1 14%
Readers by discipline Count As %
Computer Science 7 100%