Automated Reasoning with Analytic Tableaux and Related Methods
by Neil V. Murray
No club is reading this yet — be the first to start one
Author: Neil V. Murray
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66086-6
DOI: 10.1007/3-540-48754-9
Table of Contents:
- Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions
- Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
- DLP and FaCT
- Applying an
- KtSeqC : System Description
- Automated Reasoning and the Verification of Security Protocols
- Proof Confluent Tableau Calculi
- Analytic Calculi for Projective Logics
- Merge Path Improvements for Minimal Model Hyper Tableaux
- CLDS for Propositional Intuitionistic Logic
- Intuitionisitic Tableau Extracted
- A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification
- Bounded Contraction in Systems with Linearity
- The Non-associative Lambek Calculus with Product in Polynomial Time
- Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
- Cut-Free Display Calculi for Nominal Tense Logics
- Hilbert’s ∈-Terms in Automated Theorem Proving
- Partial Functions in an Impredicative Simple Theory of Types
- A Simple Sequent System for First-Order Logic with Free Constructors
- linTAP : A Tableau Prover for Linear Logic
Discuss Automated Reasoning with Analytic Tableaux and Related Methods with other readers
Join or start a book club for Automated Reasoning with Analytic Tableaux and Related Methods on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Automated Reasoning with Analytic Tableaux and Related Methods?
Sign up free on Readfeed, then browse public clubs or start your own club with Automated Reasoning with Analytic Tableaux and Related Methods as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Automated Reasoning with Analytic Tableaux and Related Methods with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Automated Reasoning with Analytic Tableaux and Related Methods with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.