Lecture Notes in Computer Science - Lectures on Logic and Computation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642314841, 9783642314858

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Short Introduction to Implicit Computational Complexity

Lecture Notes in Computer Science - Lectures on Logic and Computation ◽

10.1007/978-3-642-31485-8_3 ◽

2012 ◽

pp. 89-109 ◽

Cited By ~ 6

Author(s):

Ugo Dal Lago

Keyword(s):

Computational Complexity ◽

Short Introduction ◽

Implicit Computational Complexity

Download Full-text

Specification and Verification of Multi-Agent Systems

Lecture Notes in Computer Science - Lectures on Logic and Computation ◽

10.1007/978-3-642-31485-8_6 ◽

2012 ◽

pp. 210-263 ◽

Cited By ~ 3

Author(s):

Wojciech Jamroga ◽

Wojciech Penczek

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Specification And Verification

Download Full-text

Introduction to Judgment Aggregation

Lecture Notes in Computer Science - Lectures on Logic and Computation ◽

10.1007/978-3-642-31485-8_5 ◽

2012 ◽

pp. 160-209 ◽

Cited By ~ 6

Author(s):

Davide Grossi ◽

Gabriella Pigozzi

Keyword(s):

Judgment Aggregation

Download Full-text

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

Lecture Notes in Computer Science - Lectures on Logic and Computation ◽

10.1007/978-3-642-31485-8_2 ◽

2012 ◽

pp. 55-88 ◽

Cited By ~ 5

Author(s):

Jan Broersen ◽

Leendert van der Torre

Keyword(s):

Computer Science ◽

Deontic Logic ◽

Normative Reasoning

Download Full-text

Proof Complexity of Non-classical Logics

Lecture Notes in Computer Science - Lectures on Logic and Computation ◽

10.1007/978-3-642-31485-8_1 ◽

2012 ◽

pp. 1-54 ◽

Cited By ~ 2

Author(s):

Olaf Beyersdorff ◽

Oliver Kutz

Keyword(s):

Proof Complexity

Download Full-text

Strategies in Games: A Logic-Automata Study

Lecture Notes in Computer Science - Lectures on Logic and Computation ◽

10.1007/978-3-642-31485-8_4 ◽

2012 ◽

pp. 110-159 ◽

Cited By ~ 2

Author(s):

Sujata Ghosh ◽

R. Ramanujam

Download Full-text

Lecture Notes in Computer Science - Lectures on Logic and ComputationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Short Introduction to Implicit Computational Complexity

Specification and Verification of Multi-Agent Systems

Introduction to Judgment Aggregation

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

Proof Complexity of Non-classical Logics

Strategies in Games: A Logic-Automata Study

Lecture Notes in Computer Science - Lectures on Logic and Computation
Latest Publications