Logic and Games on Automatic Structures - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642228063, 9783642228070

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Outlook

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_8 ◽

2011 ◽

pp. 109-110

Author(s):

Łukasz Kaiser

Download Full-text

Counting Quantifiers on Automatic Structures

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_5 ◽

2011 ◽

pp. 67-77

Author(s):

Łukasz Kaiser

Keyword(s):

Automatic Structures

Download Full-text

Logics, Structures and Presentations

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_1 ◽

2011 ◽

pp. 1-15

Author(s):

Łukasz Kaiser

Download Full-text

Game Quantifiers on Automatic Presentations

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_2 ◽

2011 ◽

pp. 17-27

Author(s):

Łukasz Kaiser

Keyword(s):

Automatic Presentations

Download Full-text

Cardinality Quantifiers in MSO on Trees

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_7 ◽

2011 ◽

pp. 95-107

Author(s):

Łukasz Kaiser

Download Full-text

Cardinality Quantifiers in MSO on Linear Orders

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_6 ◽

2011 ◽

pp. 79-94

Author(s):

Łukasz Kaiser

Keyword(s):

Linear Orders

Download Full-text

Memory Structures for Infinitary Games

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_4 ◽

2011 ◽

pp. 47-66

Author(s):

Łukasz Kaiser

Keyword(s):

Memory Structures

Download Full-text

Games for Model Checking on Automatic Structures

Logic and Games on Automatic Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22807-0_3 ◽

2011 ◽

pp. 29-46

Author(s):

Łukasz Kaiser

Keyword(s):

Model Checking ◽

Automatic Structures

Download Full-text

Logic and Games on Automatic Structures - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Outlook

Counting Quantifiers on Automatic Structures

Logics, Structures and Presentations

Game Quantifiers on Automatic Presentations

Cardinality Quantifiers in MSO on Trees

Cardinality Quantifiers in MSO on Linear Orders

Memory Structures for Infinitary Games

Games for Model Checking on Automatic Structures

Logic and Games on Automatic Structures - Lecture Notes in Computer Science
Latest Publications