Lecture Notes in Computer Science - Computational Logic and Proof Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540571841

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On loop detection in connection calculi

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022562 ◽

2005 ◽

pp. 144-151 ◽

Cited By ~ 2

Author(s):

Stefan Brüning

Keyword(s):

Loop Detection

Download Full-text

Superposition with simplification as a decision procedure for the monadic class with equality

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022557 ◽

2005 ◽

pp. 83-96 ◽

Cited By ~ 31

Author(s):

Leo Bachmair ◽

Harald Ganzinger ◽

Uwe Waldmann

Keyword(s):

Decision Procedure

Download Full-text

On the saturation principle for a linear temporal logic

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022577 ◽

2005 ◽

pp. 289-300 ◽

Cited By ~ 6

Author(s):

Regimantas Pliuskevicius

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic

Download Full-text

A construction of typed lambda models related to feasible computability

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022578 ◽

2005 ◽

pp. 301-312 ◽

Cited By ~ 1

Author(s):

Vladimir Sazonov ◽

Andrei Voronkov

Download Full-text

A syntactic consistency proof for NaDSet

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022568 ◽

2005 ◽

pp. 190-201

Author(s):

Paul C. Gilmore

Keyword(s):

Consistency Proof

Download Full-text

Computation with access to the reals, but using only classical machines

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022558 ◽

2005 ◽

pp. 97-107

Author(s):

N. P. Bamber

Download Full-text

A critical reexamination of default logic, autoepistemic logic, and only knowing

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022551 ◽

2005 ◽

pp. 43-60 ◽

Cited By ~ 1

Author(s):

Joseph Y. Halpern

Keyword(s):

Default Logic ◽

Autoepistemic Logic

Download Full-text

Committed-choice concurrent logic programming in linear logic

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022581 ◽

2005 ◽

pp. 337-348 ◽

Cited By ~ 1

Author(s):

Jiři Zlatuška

Keyword(s):

Logic Programming ◽

Linear Logic ◽

Concurrent Logic Programming

Download Full-text

The structure of exponentials: Uncovering the dynamics of linear logic proofs

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022564 ◽

2005 ◽

pp. 159-171 ◽

Cited By ~ 20

Author(s):

Vincent Danos ◽

Jean -Baptiste Joinet ◽

Harold Schellinx

Keyword(s):

Linear Logic

Download Full-text

The even more liberalized δ-rule in free variable Semantic Tableaux

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022559 ◽

2005 ◽

pp. 108-119 ◽

Cited By ~ 18

Author(s):

Bernhard Beckert ◽

Reiner Hähnle ◽

Peter H. Schmitt

Keyword(s):

Free Variable ◽

Semantic Tableaux

Download Full-text

Lecture Notes in Computer Science - Computational Logic and Proof TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

On loop detection in connection calculi

Superposition with simplification as a decision procedure for the monadic class with equality

On the saturation principle for a linear temporal logic

A construction of typed lambda models related to feasible computability

A syntactic consistency proof for NaDSet

Computation with access to the reals, but using only classical machines

A critical reexamination of default logic, autoepistemic logic, and only knowing

Committed-choice concurrent logic programming in linear logic

The structure of exponentials: Uncovering the dynamics of linear logic proofs

The even more liberalized δ-rule in free variable Semantic Tableaux

Lecture Notes in Computer Science - Computational Logic and Proof Theory
Latest Publications