Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450355834

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sound up-to techniques and Complete abstract domains

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209169 ◽

2018 ◽

Cited By ~ 2

Author(s):

Filippo Bonchi ◽

Pierre Ganty ◽

Roberto Giacobazzi ◽

Dusko Pavlovic

Keyword(s):

Abstract Domains

Download Full-text

Type-two polynomial-time and restricted lookahead

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209124 ◽

2018 ◽

Cited By ~ 1

Author(s):

Bruce M. Kapron ◽

Florian Steinberg

Keyword(s):

Polynomial Time

Download Full-text

Around Classical and Intuitionistic Linear Logics

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209132 ◽

2018 ◽

Cited By ~ 2

Author(s):

Olivier Laurent

Download Full-text

A functional interpretation with state

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209134 ◽

2018 ◽

Cited By ~ 1

Author(s):

Thomas Powell

Keyword(s):

Functional Interpretation

Download Full-text

Eager Functions as Processes

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209152 ◽

2018 ◽

Cited By ~ 2

Author(s):

Adrien Durier ◽

Daniel Hirschkoff ◽

Davide Sangiorgi

Download Full-text

Rational Synthesis Under Imperfect Information

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209164 ◽

2018 ◽

Cited By ~ 1

Author(s):

Emmanuel Filiot ◽

Raffaella Gentilini ◽

Jean-François Raskin

Keyword(s):

Imperfect Information

Download Full-text

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209204 ◽

2018 ◽

Cited By ~ 7

Author(s):

Yoji Nanjo ◽

Hiroshi Unno ◽

Eric Koskinen ◽

Tachio Terauchi

Keyword(s):

Temporal Property ◽

Property Verification

Download Full-text

A sequent calculus with dependent types for classical arithmetic

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209199 ◽

2018 ◽

Cited By ~ 2

Author(s):

Étienne Miquey

Keyword(s):

Sequent Calculus ◽

Dependent Types ◽

Classical Arithmetic

Download Full-text

Causal Computational Complexity of Distributed Processes

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209122 ◽

2018 ◽

Author(s):

Romain Demangeon ◽

Nobuko Yoshida

Keyword(s):

Computational Complexity ◽

Distributed Processes

Download Full-text

Playing with Repetitions in Data Words Using Energy Games

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 ◽

10.1145/3209108.3209154 ◽

2018 ◽

Cited By ~ 2

Author(s):

Diego Figueira ◽

M. Praveen

Keyword(s):

Energy Games

Download Full-text

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Sound up-to techniques and Complete abstract domains

Type-two polynomial-time and restricted lookahead

Around Classical and Intuitionistic Linear Logics

A functional interpretation with state

Eager Functions as Processes

Rational Synthesis Under Imperfect Information

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

A sequent calculus with dependent types for classical arithmetic

Causal Computational Complexity of Distributed Processes

Playing with Repetitions in Data Words Using Energy Games

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18
Latest Publications