Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642152047, 9783642152054

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automata vs. Logics on Data Words

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_12 ◽

2010 ◽

pp. 110-124 ◽

Cited By ~ 11

Author(s):

Michael Benedikt ◽

Clemens Ley ◽

Gabriele Puppis

Download Full-text

On the Computability of Region-Based Euclidean Logics

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_34 ◽

2010 ◽

pp. 439-453 ◽

Cited By ~ 3

Author(s):

Yavor Nenov ◽

Ian Pratt-Hartmann

Download Full-text

Coordination Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_25 ◽

2010 ◽

pp. 305-319 ◽

Cited By ~ 15

Author(s):

Bernd Finkbeiner ◽

Sven Schewe

Download Full-text

Tableau Calculi for $\mathcal{CSL}$ over minspaces

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_8 ◽

2010 ◽

pp. 52-66 ◽

Cited By ~ 4

Author(s):

Régis Alenda ◽

Nicola Olivetti ◽

Camilla Schwind ◽

Dmitry Tishkovsky

Keyword(s):

Tableau Calculi

Download Full-text

Second-Order Equational Logic (Extended Abstract)

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_26 ◽

2010 ◽

pp. 320-335 ◽

Cited By ~ 9

Author(s):

Marcelo Fiore ◽

Chung-Kil Hur

Keyword(s):

Second Order ◽

Equational Logic

Download Full-text

Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_1 ◽

2010 ◽

pp. 1-18 ◽

Cited By ~ 6

Author(s):

David Basin ◽

Cas Cremers

Keyword(s):

Security Protocol ◽

The Face

Download Full-text

Fibrational Induction Rules for Initial Algebras

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_27 ◽

2010 ◽

pp. 336-350 ◽

Cited By ~ 8

Author(s):

Neil Ghani ◽

Patricia Johann ◽

Clément Fumex

Download Full-text

On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_18 ◽

2010 ◽

pp. 200-214 ◽

Cited By ~ 3

Author(s):

Yijia Chen ◽

Jörg Flum

Keyword(s):

Proof Systems

Download Full-text

Complexity Results for Modal Dependence Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_32 ◽

2010 ◽

pp. 411-425 ◽

Cited By ~ 8

Author(s):

Peter Lohmann ◽

Heribert Vollmer

Keyword(s):

Dependence Logic ◽

Complexity Results

Download Full-text

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_29 ◽

2010 ◽

pp. 366-380 ◽

Cited By ~ 4

Author(s):

Tobias Ganzow ◽

Łukasz Kaiser

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Computer Science Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automata vs. Logics on Data Words

On the Computability of Region-Based Euclidean Logics

Coordination Logic

Tableau Calculi for $\mathcal{CSL}$ over minspaces

Second-Order Equational Logic (Extended Abstract)

Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries

Fibrational Induction Rules for Initial Algebras

On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

Complexity Results for Modal Dependence Logic

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

Computer Science Logic - Lecture Notes in Computer Science
Latest Publications