2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Latest Publications

TOTAL DOCUMENTS

64
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By IEEE

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

Block products for algebras over countable words and applications to logic

2019 ◽  
Author(s):  
Bharat Adsul ◽  
Saptarshi Sarkar ◽  
A. V. Sreejith

scholarly journals Timed Systems through the Lens of Logic

2019 ◽  
Author(s):  
S. Akshay ◽  
Paul Gastin ◽  
Vincent Juge ◽  
Shankara Narayanan Krishna
Keyword(s):  
Timed Systems

MSO+∇ is undecidable

2019 ◽  
Author(s):  
Mikolaj Bojanczyk ◽  
Edon Kelmendi ◽  
Michal Skrzypczak

scholarly journals Long-run Satisfaction of Path Properties

2019 ◽  
Author(s):  
Christel Baier ◽  
Nathalie Bertrand ◽  
Jakob Piribauer ◽  
Ocan Sankur
Keyword(s):  
Long Run ◽  
Path Properties

The convex hull of finitely generable subsets and its predicate transformer

2019 ◽  
Author(s):  
Mohammad Javad Davari ◽  
Abbas Edalat ◽  
Andre Lieutier
Keyword(s):  
Convex Hull ◽  
Predicate Transformer

Matching μ-Logic

2019 ◽  
Author(s):  
Xiaohong Chen ◽  
Grigore Rosu
Load More ...
Sign in / Sign up

Export Citation Format

Share Document