Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439295, 9783540456162

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Confluent Theory Connection Calculus

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_16 ◽

2002 ◽

pp. 221-234

Author(s):

Uwe Petermann

Tableau-Based Automated Deduction for Duration Calculus

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_5 ◽

2002 ◽

pp. 53-69 ◽

Cited By ~ 1

Author(s):

Nathalie Chetcuti-Sperandio

Keyword(s):

Automated Deduction ◽

Duration Calculus

LINK: A Proof Environment Based on Proof Nets

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_23 ◽

2002 ◽

pp. 330-334 ◽

Cited By ~ 4

Author(s):

L. Habert ◽

J.-M. Notin ◽

D. Galmiche

Keyword(s):

Proof Nets

A New Indefinite Semantics for Hilbert’s Epsilon

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_21 ◽

2002 ◽

pp. 298-314 ◽

Cited By ~ 1

Author(s):

Claus-Peter Wirth

Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_20 ◽

2002 ◽

pp. 281-297 ◽

Cited By ~ 1

Author(s):

Dan E. Willard

Keyword(s):

Incompleteness Theorem ◽

Semantic Tableaux

On Uniform Word Problems Involving Bridging Operators on Distributive Lattices

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_17 ◽

2002 ◽

pp. 235-250 ◽

Cited By ~ 1

Author(s):

Viorica Sofronie-Stokkermans

Keyword(s):

Word Problems ◽

Distributive Lattices

Tableau Calculi for the Logics of Finite k-Ary Trees

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_9 ◽

2002 ◽

pp. 115-129

Author(s):

Mauro Ferrari ◽

Camillo Fiorentini ◽

Guido Fiorino

Keyword(s):

Tableau Calculi

Using Linear Logic to Reason about Sequent Systems

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_2 ◽

2002 ◽

pp. 2-23 ◽

Cited By ~ 10

Author(s):

Dale Miller ◽

Elaine Pimentel

Keyword(s):

Linear Logic ◽

Sequent Systems

Proof Analysis by Resolution

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_1 ◽

2002 ◽

pp. 1-1

Author(s):

Matthias Baaz

Keyword(s):

Proof Analysis

A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_3 ◽

2002 ◽

pp. 24-37 ◽

Cited By ~ 9

Author(s):

Matthias Baaz ◽

Agata Ciabattoni

Keyword(s):

Cut Elimination ◽

First Order ◽

Gödel Logic

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Confluent Theory Connection Calculus

Tableau-Based Automated Deduction for Duration Calculus

LINK: A Proof Environment Based on Proof Nets

A New Indefinite Semantics for Hilbert’s Epsilon

Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem

On Uniform Word Problems Involving Bridging Operators on Distributive Lattices

Tableau Calculi for the Logics of Finite k-Ary Trees

Using Linear Logic to Reason about Sequent Systems

Proof Analysis by Resolution

A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications