Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

73

(FIVE YEARS 73)

H-INDEX

2

(FIVE YEARS 2)

Published By ACM

9781450371049

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Descriptive complexity of real computation and probabilistic independence logic

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394773 ◽

2020 ◽

Author(s):

Miika Hannula ◽

Juha Kontinen ◽

Jan Van den Bussche ◽

Jonni Virtema

Keyword(s):

Descriptive Complexity

Download Full-text

A Cellular Howe Theorem

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394738 ◽

2020 ◽

Author(s):

Peio Borthelle ◽

Tom Hirschowitz ◽

Ambroise Lafont

Download Full-text

Sparse Hashing for Scalable Approximate Model Counting

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394809 ◽

2020 ◽

Author(s):

Kuldeep S. Meel ◽

S. Akshay

Keyword(s):

Approximate Model ◽

Download Full-text

Good-for-games ω-Pushdown Automata

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394737 ◽

2020 ◽

Author(s):

Karoliina Lehtinen ◽

Martin Zimmermann

Keyword(s):

Good For ◽

Pushdown Automata

Download Full-text

On the computational content of Zorn's lemma

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394745 ◽

2020 ◽

Author(s):

Thomas Powell

Download Full-text

A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394744 ◽

2020 ◽

Author(s):

Clemens Grabmayer ◽

Wan Fokkink

Keyword(s):

Proof System ◽

Regular Expressions ◽

Download Full-text

Partial Univalence in n-truncated Type Theory

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394759 ◽

2020 ◽

Author(s):

Christian Sattler ◽

Andrea Vezzosi

Keyword(s):

Download Full-text

Large and Infinitary Quotient Inductive-Inductive Types

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394770 ◽

2020 ◽

Author(s):

András Kovács ◽

Ambrus Kaposi

Keyword(s):

Inductive Types

Download Full-text

Resolving finite indeterminacy

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394777 ◽

2020 ◽

Author(s):

Peter Schuster ◽

Daniel Wessel

Download Full-text

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394805 ◽

2020 ◽

Author(s):

Raphaël Berthon ◽

Shibashis Guha ◽

Jean-François Raskin

Keyword(s):

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text