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

TOTAL DOCUMENTS

(FIVE YEARS 73)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

Kuldeep S. Meel ◽

S. Akshay

Keyword(s):

Approximate Model ◽

Model Counting

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 ◽

Cited By ~ 2

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 ◽

Complete Proof

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):

Type Theory

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 ◽

Cited By ~ 1

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Descriptive complexity of real computation and probabilistic independence logic

A Cellular Howe Theorem

Sparse Hashing for Scalable Approximate Model Counting

Good-for-games ω-Pushdown Automata

On the computational content of Zorn's lemma

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

Partial Univalence in n-truncated Type Theory

Large and Infinitary Quotient Inductive-Inductive Types

Resolving finite indeterminacy

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

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