Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540593386, 9783540492351

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Propositional logics on the computer

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_44 ◽

1995 ◽

pp. 310-323 ◽

Cited By ~ 9

Author(s):

Alain Heuerding ◽

Gerhard Jäger ◽

Stefan Schwendimann ◽

Michael Seyfried

Download Full-text

Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS -A Case Study-

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_46 ◽

1995 ◽

pp. 338-352 ◽

Cited By ~ 3

Author(s):

Johann Schumann

Keyword(s):

Communication Protocol ◽

Theorem Prover

Download Full-text

Refutation systems for prepositional modal logics

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_30 ◽

1995 ◽

pp. 95-105 ◽

Cited By ~ 4

Author(s):

Pierangelo Miglioli ◽

Ugo Moscato ◽

Mario Ornaghi

Keyword(s):

Modal Logics ◽

Refutation Systems

Download Full-text

Semantic tableaus for inheritance nets

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_27 ◽

1995 ◽

pp. 47-62

Author(s):

Ingrid Neumann

Download Full-text

MacKE: Yet another proof assistant & automated pedagogic tool

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_45 ◽

1995 ◽

pp. 324-337 ◽

Cited By ~ 1

Author(s):

Jeremy Pitt

Keyword(s):

Proof Assistant ◽

Pedagogic Tool

Download Full-text

Linear analytic tableaux

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_42 ◽

1995 ◽

pp. 278-293 ◽

Cited By ~ 4

Author(s):

Robert K. Meyer ◽

Michael A. McRobbie ◽

Nuel Belnap

Keyword(s):

Analytic Tableaux

Download Full-text

Classical Lambek logic

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_40 ◽

1995 ◽

pp. 247-262 ◽

Cited By ~ 1

Author(s):

Jörg Hudelmaier ◽

Peter Schroeder-Heister

Download Full-text

Using connection method in modal logics: Some advantages

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_28 ◽

1995 ◽

pp. 63-78 ◽

Cited By ~ 1

Author(s):

Stéphane Demri

Keyword(s):

Modal Logics ◽

Connection Method

Download Full-text

Linear logic with isabelle: Pruning the proof search tree

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_41 ◽

1995 ◽

pp. 263-277 ◽

Cited By ~ 3

Author(s):

Philippe Groote

Keyword(s):

Linear Logic ◽

Search Tree ◽

Proof Search

Download Full-text

Constraint model elimination and a PTTP-implementation

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-59338-1_37 ◽

1995 ◽

pp. 201-216 ◽

Cited By ~ 6

Author(s):

Peter Baumgartner ◽

Frieder Stolzenburg

Keyword(s):

Model Elimination ◽

Constraint Model

Download Full-text

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Propositional logics on the computer

Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS -A Case Study-

Refutation systems for prepositional modal logics

Semantic tableaus for inheritance nets

MacKE: Yet another proof assistant & automated pedagogic tool

Linear analytic tableaux

Classical Lambek logic

Using connection method in modal logics: Some advantages

Linear logic with isabelle: Pruning the proof search tree

Constraint model elimination and a PTTP-implementation

Theorem Proving with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science
Latest Publications