2010 25th Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424475889

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Querying the Guarded Fragment

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.26 ◽

2010 ◽

Cited By ~ 20

Author(s):

Vince Bárány ◽

Georg Gottlob ◽

Martin Otto

Keyword(s):

Guarded Fragment

Download Full-text

The Fine Print of Security

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.9 ◽

2010 ◽

Author(s):

Martín Abadi

Keyword(s):

Fine Print

Download Full-text

On the Expressivity of Symmetry in Event Structures

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.37 ◽

2010 ◽

Cited By ~ 3

Author(s):

Sam Staton ◽

Glynn Winskel

Keyword(s):

Event Structures

Download Full-text

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.13 ◽

2010 ◽

Cited By ~ 3

Author(s):

Manuel Bodirsky ◽

Martin Hils ◽

Barnaby Martin

Keyword(s):

Constraint Satisfaction ◽

Algebraic Approach

Download Full-text

Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.22 ◽

2010 ◽

Cited By ~ 11

Author(s):

Martin Grohe

Keyword(s):

Fixed Point ◽

Polynomial Time ◽

Excluded Minors

Download Full-text

Game Semantics for a Polymorphic Programming Language

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.32 ◽

2010 ◽

Cited By ~ 4

Author(s):

J. Laird

Keyword(s):

Programming Language ◽

Game Semantics

Download Full-text

Infinitary Completeness in Ludics

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.47 ◽

2010 ◽

Cited By ~ 2

Author(s):

Michele Basaldella ◽

Kazushige Terui

Download Full-text

Regular Cost Functions over Finite Trees

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.36 ◽

2010 ◽

Cited By ~ 17

Author(s):

Thomas Colcombet ◽

Christof Löding

Keyword(s):

Cost Functions

Download Full-text

Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.14 ◽

2010 ◽

Cited By ~ 2

Author(s):

Martin Otto

Keyword(s):

Guarded Fragment

Download Full-text

Modular Construction of Fixed Point Combinators and Clocked Böhm Trees

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.8 ◽

2010 ◽

Cited By ~ 3

Author(s):

Jörg Endrullis ◽

Dimitri Hendriks ◽

Jan Willem Klop

Keyword(s):

Fixed Point ◽

Modular Construction

Download Full-text

2010 25th Annual IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Querying the Guarded Fragment

The Fine Print of Security

On the Expressivity of Symmetry in Event Structures

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors

Game Semantics for a Polymorphic Programming Language

Infinitary Completeness in Ludics

Regular Cost Functions over Finite Trees

Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment

Modular Construction of Fixed Point Combinators and Clocked Böhm Trees

2010 25th Annual IEEE Symposium on Logic in Computer Science
Latest Publications