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

TOTAL DOCUMENTS

95
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By ACM Press

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

scholarly journals Sound up-to techniques and Complete abstract domains

2018 ◽  
Author(s):  
Filippo Bonchi ◽  
Pierre Ganty ◽  
Roberto Giacobazzi ◽  
Dusko Pavlovic
Keyword(s):  
Abstract Domains

scholarly journals Eager Functions as Processes

2018 ◽  
Author(s):  
Adrien Durier ◽  
Daniel Hirschkoff ◽  
Davide Sangiorgi

Rational Synthesis Under Imperfect Information

2018 ◽  
Author(s):  
Emmanuel Filiot ◽  
Raffaella Gentilini ◽  
Jean-François Raskin
Keyword(s):  
Imperfect Information

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

2018 ◽  
Author(s):  
Yoji Nanjo ◽  
Hiroshi Unno ◽  
Eric Koskinen ◽  
Tachio Terauchi
Keyword(s):  
Temporal Property ◽  
Property Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document