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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479904136

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Categorical Treatment of Ornaments

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

10.1109/lics.2013.60 ◽

2013 ◽

Cited By ~ 5

Author(s):

Pierre-Evariste Dagand ◽

Conor McBride

Download Full-text

Abstract Machines for Game Semantics, Revisited

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

10.1109/lics.2013.63 ◽

2013 ◽

Cited By ~ 6

Author(s):

Olle Fredriksson ◽

Dan R. Ghica

Keyword(s):

Game Semantics ◽

Abstract Machines

Download Full-text

From Monadic Second-Order Definable String Transformations to Transducers

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

10.1109/lics.2013.52 ◽

2013 ◽

Cited By ~ 4

Author(s):

Rajeev Alur ◽

Antoine Durand-Gasselin ◽

Ashutosh Trivedi

Keyword(s):

Second Order

Download Full-text

Quantitative Reasoning for Proving Lock-Freedom

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

10.1109/lics.2013.18 ◽

2013 ◽

Cited By ~ 15

Author(s):

Jan Hoffmann ◽

Michael Marmar ◽

Zhong Shao

Keyword(s):

Quantitative Reasoning

Download Full-text

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects

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

10.1109/lics.2013.33 ◽

2013 ◽

Cited By ~ 7

Author(s):

Sergey Goncharov ◽

Lutz Schroder

Keyword(s):

Hoare Logic

Download Full-text

An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

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

10.1109/lics.2013.11 ◽

2013 ◽

Cited By ~ 2

Author(s):

Lucas Heimberg ◽

Dietrich Kuske ◽

Nicole Schweikardt

Keyword(s):

Normal Form ◽

Bounded Degree

Download Full-text

Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

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

10.1109/lics.2013.59 ◽

2013 ◽

Cited By ~ 4

Author(s):

Marcelo Fiore ◽

Makoto Hamana

Keyword(s):

Equational Logic ◽

Algebraic Theories

Download Full-text

[Front-cover]

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

10.1109/lics.2013.72 ◽

2013 ◽

Keyword(s):

Front Cover

Download Full-text

Arbitrary Action Model Logic and Action Model Synthesis

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

10.1109/lics.2013.31 ◽

2013 ◽

Cited By ~ 7

Author(s):

James Hales

Keyword(s):

Model Synthesis ◽

Action Model ◽

Arbitrary Action

Download Full-text

Instances of Computational Effects: An Algebraic Perspective

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

10.1109/lics.2013.58 ◽

2013 ◽

Cited By ~ 8

Author(s):

Sam Staton

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Categorical Treatment of Ornaments

Abstract Machines for Game Semantics, Revisited

From Monadic Second-Order Definable String Transformations to Transducers

Quantitative Reasoning for Proving Lock-Freedom

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects

An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

[Front-cover]

Arbitrary Action Model Logic and Action Model Synthesis

Instances of Computational Effects: An Algebraic Perspective

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