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

TOTAL DOCUMENTS

64

(FIVE YEARS 64)

H-INDEX

5

(FIVE YEARS 5)

Published By IEEE

9781728136080

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories

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

10.1109/lics.2019.8785784 ◽

2019 ◽

Author(s):

C.-H. Luke Ong ◽

Dominik Wagner

Keyword(s):

Higher Order ◽

Order Logic ◽

Invariant System ◽

Higher Order Logic

Download Full-text

Block products for algebras over countable words and applications to logic

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

10.1109/lics.2019.8785669 ◽

2019 ◽

Author(s):

Bharat Adsul ◽

Saptarshi Sarkar ◽

A. V. Sreejith

Download Full-text

Local normal forms and their use in algorithmic meta theorems (Invited Talk)

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

10.1109/lics.2019.8785748 ◽

2019 ◽

Author(s):

Nicole Schweikardt

Keyword(s):

Download Full-text

Timed Systems through the Lens of Logic

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

10.1109/lics.2019.8785684 ◽

2019 ◽

Author(s):

S. Akshay ◽

Paul Gastin ◽

Vincent Juge ◽

Shankara Narayanan Krishna

Keyword(s):

Download Full-text

MSO+∇ is undecidable

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

10.1109/lics.2019.8785892 ◽

2019 ◽

Author(s):

Mikolaj Bojanczyk ◽

Edon Kelmendi ◽

Michal Skrzypczak

Download Full-text

Long-run Satisfaction of Path Properties

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

10.1109/lics.2019.8785672 ◽

2019 ◽

Author(s):

Christel Baier ◽

Nathalie Bertrand ◽

Jakob Piribauer ◽

Ocan Sankur

Keyword(s):

Long Run ◽

Path Properties

Download Full-text

The convex hull of finitely generable subsets and its predicate transformer

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

10.1109/lics.2019.8785680 ◽

2019 ◽

Author(s):

Mohammad Javad Davari ◽

Abbas Edalat ◽

Andre Lieutier

Keyword(s):

Convex Hull ◽

Predicate Transformer

Download Full-text

Citation for the Test-of-Time Award from LICS 1999

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

10.1109/lics.2019.8785755 ◽

2019 ◽

Download Full-text

Matching μ-Logic

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

10.1109/lics.2019.8785675 ◽

2019 ◽

Author(s):

Xiaohong Chen ◽

Grigore Rosu

Download Full-text

LICS 2019 Foreword

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

10.1109/lics.2019.8785837 ◽

2019 ◽

Download Full-text