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

scholarly journals Querying the Guarded Fragment

2010 ◽  
Author(s):  
Vince Bárány ◽  
Georg Gottlob ◽  
Martin Otto
Keyword(s):  
Guarded Fragment

The Fine Print of Security

2010 ◽  
Author(s):  
Martín Abadi
Keyword(s):  
Fine Print

scholarly journals On the Expressivity of Symmetry in Event Structures

2010 ◽  
Author(s):  
Sam Staton ◽  
Glynn Winskel
Keyword(s):  
Event Structures

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

2010 ◽  
Author(s):  
Manuel Bodirsky ◽  
Martin Hils ◽  
Barnaby Martin
Keyword(s):  
Constraint Satisfaction ◽  
Algebraic Approach

Infinitary Completeness in Ludics

2010 ◽  
Author(s):  
Michele Basaldella ◽  
Kazushige Terui

scholarly journals Regular Cost Functions over Finite Trees

2010 ◽  
Author(s):  
Thomas Colcombet ◽  
Christof Löding
Keyword(s):  
Cost Functions

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

2010 ◽  
Author(s):  
Jörg Endrullis ◽  
Dimitri Hendriks ◽  
Jan Willem Klop
Keyword(s):  
Fixed Point ◽  
Modular Construction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document