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

TOTAL DOCUMENTS

55

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By IEEE

9781424475889

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Game Semantics for a Polymorphic Programming Language

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

10.1109/lics.2010.32 ◽

2010 ◽

Author(s):

J. Laird

Keyword(s):

Programming Language ◽

Download Full-text

Infinitary Completeness in Ludics

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

10.1109/lics.2010.47 ◽

2010 ◽

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 ◽

Author(s):

Thomas Colcombet ◽

Christof Löding

Keyword(s):

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 ◽

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 ◽

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 ◽

Author(s):

Martin Grohe

Keyword(s):

Fixed Point ◽

Polynomial Time ◽

Excluded Minors

Download Full-text

Querying the Guarded Fragment

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

10.1109/lics.2010.26 ◽

2010 ◽

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):

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 ◽

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 ◽

Author(s):

Jörg Endrullis ◽

Dimitri Hendriks ◽

Jan Willem Klop

Keyword(s):

Fixed Point ◽

Modular Construction

Download Full-text