Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX' 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings > Optimised Functional Translation and Resolution
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX' 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings |
Harrie de Swart
Springer Berlin Heidelberg
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX' 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Optimised Functional Translation and Resolution
Authors

Ullrich Hustadt; Renate A. Schmidt; Christoph Weidenbach

ARI Id

1664716946884_2892565

Access

Not Available Free

Pages

36-37

DOI

10.1007/3-540-69778-0_9

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-69778-0_9

Table of Contents of Book
Showing 1 to 20 of 34 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-X
Philosophical Aspects of Computerized Verification of Mathematics
N. G. de Bruijn
1-9
A Science of Reasoning (Extended Abstract)
Alan Bundy
10-17
Model Checking: Historical Perspective and Example (Extended Abstract)
Edmund M. Clarke; Sergey Berezin
18-24
Comparison of Theorem Provers for Modal Logics — Introduction and Summary
Peter Balsiger; Alain Heuerding
25-26
FaCT and DLP
Ian Horrocks; Peter F. Patel-Schneider
27-30
Prover KT4
Michel Levy
31-32
leanK 2. 0
Bernhard Beckert; Rajeev Goré
33-34
Logics Workbench 1. 0
Peter Balsiger; Alain Heuerding; Stefan Schwendimann
35-35
Optimised Functional Translation and Resolution
Ullrich Hustadt; Renate A. Schmidt; Christoph Weidenbach
36-37
Benchmark Evaluation of □KE
Jeremy Pitt
38-39
Implementation of Propositional Temporal Logics Using BDDs
G. L. J. M. Janssen
40-41
Computer Programming as Mathematics in a Programming Language and Proof System CL
Ján Komara; Paul J. Voda
42-43
A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
Matteo Baldoni; Laura Giordano; Alberto Martelli
44-59
Hyper Tableau — The Next Generation
Peter Baumgartner
60-76
Fibring Semantic Tableaux
Bernhard Beckert; Dov Gabbay
77-92
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Bernhard Beckert; Ulrike Hartmer
93-107
A Tableau Method for Interval Temporal Logic with Projection
Howard Bowman; Simon Thompson
108-123
Bounded Model Search in Linear Temporal Logic and Its Application to Planning
Serenella Cerrito; Marta Cialdea Mayer
124-140
On Proof Complexity of Circumscription
Uwe Egly; Hans Tompits
141-155
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 34 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings