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

scholarly journals The Topological Mu-Calculus: completeness and decidability

2021 ◽  
Author(s):  
Alexandru Baltag ◽  
Nick Bezhanishvili ◽  
David Fernandez-Duque

scholarly journals Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

2021 ◽  
Author(s):  
Mikolaj Bojanczyk ◽  
Bartek Klin ◽  
Joshua Moerman
Keyword(s):  
Vector Spaces ◽  
Dimensional Vector ◽  
Finite Dimensional

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

2021 ◽  
Author(s):  
Toby Cathcart Burn ◽  
Luke Ong ◽  
Steven Ramsay ◽  
Dominik Wagner
Keyword(s):  
Horn Clauses

scholarly journals Symbolic Time and Space Tradeoffs for Probabilistic Verification

2021 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Wolfgang Dvorak ◽  
Monika Henzinger ◽  
Alexander Svozil
Keyword(s):  
Time And Space ◽  
Probabilistic Verification

scholarly journals Normalization for Cubical Type Theory

2021 ◽  
Author(s):  
Jonathan Sterling ◽  
Carlo Angiuli
Keyword(s):  
Type Theory ◽  
Cubical Type Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document