2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

72
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9781479904136
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Categorical Treatment of Ornaments

2013 ◽  
Author(s):  
Pierre-Evariste Dagand ◽  
Conor McBride

scholarly journals Abstract Machines for Game Semantics, Revisited

2013 ◽  
Author(s):  
Olle Fredriksson ◽  
Dan R. Ghica
Keyword(s):  
Game Semantics ◽  
Abstract Machines

From Monadic Second-Order Definable String Transformations to Transducers

2013 ◽  
Author(s):  
Rajeev Alur ◽  
Antoine Durand-Gasselin ◽  
Ashutosh Trivedi
Keyword(s):  
Second Order

scholarly journals Quantitative Reasoning for Proving Lock-Freedom

2013 ◽  
Author(s):  
Jan Hoffmann ◽  
Michael Marmar ◽  
Zhong Shao
Keyword(s):  
Quantitative Reasoning

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects

2013 ◽  
Author(s):  
Sergey Goncharov ◽  
Lutz Schroder
Keyword(s):  
Hoare Logic

scholarly journals An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

2013 ◽  
Author(s):  
Lucas Heimberg ◽  
Dietrich Kuske ◽  
Nicole Schweikardt
Keyword(s):  
Normal Form ◽  
Bounded Degree
Load More ...
Sign in / Sign up

Export Citation Format

Share Document