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

TOTAL DOCUMENTS

97

(FIVE YEARS 97)

H-INDEX

0

(FIVE YEARS 0)

Published By IEEE

9781665448956

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Supermartingales, Ranking Functions and Probabilistic Lambda Calculus

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470550 ◽

2021 ◽

Author(s):

Andrew Kenyon-Roberts ◽

C.-H. Luke Ong

Keyword(s):

Lambda Calculus ◽

Ranking Functions

Download Full-text

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470696 ◽

2021 ◽

Author(s):

Paolo Pistone

Keyword(s):

Metric Spaces ◽

Lambda Calculus ◽

Generalized Metric Spaces ◽

Typed Lambda Calculus ◽

Generalized Metric

Download Full-text

Normalization for Cubical Type Theory

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470719 ◽

2021 ◽

Author(s):

Jonathan Sterling ◽

Carlo Angiuli

Keyword(s):

Type Theory ◽

Cubical Type Theory

Download Full-text

Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470666 ◽

2021 ◽

Author(s):

Rineke Verbrugge

Keyword(s):

Provability Logic ◽

Download Full-text

The Topological Mu-Calculus: completeness and decidability

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470560 ◽

2021 ◽

Author(s):

Alexandru Baltag ◽

Nick Bezhanishvili ◽

David Fernandez-Duque

Download Full-text

Compositional Semantics for Probabilistic Programs with Exact Conditioning

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470552 ◽

2021 ◽

Author(s):

Dario Stein ◽

Sam Staton

Keyword(s):

Compositional Semantics ◽

Probabilistic Programs

Download Full-text

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470634 ◽

2021 ◽

Author(s):

Mikolaj Bojanczyk ◽

Bartek Klin ◽

Joshua Moerman

Keyword(s):

Vector Spaces ◽

Dimensional Vector ◽

Finite Dimensional

Download Full-text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470527 ◽

2021 ◽

Author(s):

Toby Cathcart Burn ◽

Luke Ong ◽

Steven Ramsay ◽

Dominik Wagner

Keyword(s):

Download Full-text

Symbolic Time and Space Tradeoffs for Probabilistic Verification

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470739 ◽

2021 ◽

Author(s):

Krishnendu Chatterjee ◽

Wolfgang Dvorak ◽

Monika Henzinger ◽

Alexander Svozil

Keyword(s):

Time And Space ◽

Probabilistic Verification

Download Full-text

The Smash Product of Monoidal Theories

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470575 ◽

2021 ◽

Author(s):

Amar Hadzihasanovic

Keyword(s):

Download Full-text