Loading…
A Logic for Locally Complete Abstract Interpretations
Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Ranzato, Francesco
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
The Logic of Graph Neural Networks
Grohe, Martin
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Lovász-Type Theorems and Game Comonads
Dawar, Anuj, Jakl, Tomas, Reggio, Luca
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Compositional Semantics for Probabilistic Programs with Exact Conditioning
Stein, Dario, Staton, Sam
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Normalization for Cubical Type Theory
Sterling, Jonathan, Angiuli, Carlo
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
From Multisets over Distributions to Distributions over Multisets
Jacobs, Bart
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Glabbeek, Rob van, Hofner, Peter, Horne, Ross
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
A Bunched Logic for Conditional Independence
Bao, Jialu, Docherty, Simon, Hsu, Justin, Silva, Alexandra
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Asynchronous Extensions of HyperLTL
Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Strong Call-by-Value is Reasonable, Implosively
Accattoli, Beniamino, Condoluci, Andrea, Coen, Claudio Sacerdoti
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Quantitative and Approximate Monitoring
Henzinger, Thomas A., Ege Sarac, N.
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Comonadic semantics for guarded fragments
Abramsky, Samson, Marsden, Dan
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Commutative Monads for Probabilistic Programming Languages
Jia, Xiaodong, Lindenhovius, Bert, Mislove, Michael, Zamdzhiev, Vladimir
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Some constructive variants of S4 with the finite model property
Balbiani, Philippe, Dieguez, Martin, Fernandez-Duque, David
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Multi-Structural Games and Number of Quantifiers
Fagin, Ronald, Lenchner, Jonathan, Regan, Kenneth W., Vyas, Nikhil
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Separating Rank Logic from Polynomial Time
Lichter, Moritz
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Intersection Type Distributors
Olimpieri, Federico
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
Zhou, Li, Barthe, Gilles, Hsu, Justin, Ying, Mingsheng, Yu, Nengkun
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Loading…
Fixed-Points for Quantitative Equational Logics
Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding