Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540749141, 9783540749158

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Linear Realizability

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_32 ◽

2007 ◽

pp. 420-434 ◽

Author(s):

Naohiko Hoshino

Download Full-text

The Power of Counting Logics on Restricted Classes of Finite Structures

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_10 ◽

2007 ◽

pp. 84-98 ◽

Author(s):

Anuj Dawar ◽

David Richerby

Keyword(s):

Finite Structures

Download Full-text

From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_31 ◽

2007 ◽

pp. 405-419 ◽

Author(s):

Dale Miller ◽

Alexis Saurin

Keyword(s):

Download Full-text

Continuous Previsions

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_40 ◽

2007 ◽

pp. 542-557 ◽

Author(s):

Jean Goubault-Larrecq

Download Full-text

The Theory of Calculi with Explicit Substitutions Revisited

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_20 ◽

2007 ◽

pp. 238-252 ◽

Author(s):

Delia Kesner

Keyword(s):

Explicit Substitutions

Download Full-text

Unbounded Proof-Length Speed-Up in Deduction Modulo

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_37 ◽

2007 ◽

pp. 496-511 ◽

Author(s):

Guillaume Burel

Keyword(s):

Speed Up ◽

Deduction Modulo

Download Full-text

Model-Checking First-Order Logic: Automata and Locality

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_4 ◽

2007 ◽

pp. 6-6 ◽

Author(s):

Anuj Dawar

Keyword(s):

Model Checking ◽

Order Logic ◽

First Order Logic ◽

Download Full-text

Classical Program Extraction in the Calculus of Constructions

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_25 ◽

2007 ◽

pp. 313-327 ◽

Author(s):

Alexandre Miquel

Keyword(s):

Program Extraction ◽

Calculus Of Constructions

Download Full-text

The Ackermann Award 2007

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_43 ◽

2007 ◽

pp. 589-597

Author(s):

Martin Grohe ◽

Martin Hyland ◽

Johann A. Makowsky ◽

Damian Niwinski

Download Full-text

Game Characterizations and the PSPACE-Completeness of Tree Resolution Space

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_39 ◽

2007 ◽

pp. 527-541 ◽

Author(s):

Alexander Hertel ◽

Alasdair Urquhart

Keyword(s):

Tree Resolution

Download Full-text