Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
A convenient category for higher-order probability theory
Heunen, Chris, Kammar, Ohad, Staton, Sam, Hongseok Yang
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Loading…
Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
Leroux, Jerome, Schmitz, Sylvain
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Backprop as Functor: A compositional perspective on supervised learning
Fong, Brendan, Spivak, David, Tuyeras, Remy
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
Vilmart, Renaud
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Succinct progress measures for solving parity games
Jurdzinski, Marcin, Lazic, Ranko
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Loading…
The Hierarchy of Hyperlogics
Coenen, Norine, Finkbeiner, Bernd, Hahn, Christopher, Hofmann, Jana
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
The pebbling comonad in Finite Model Theory
Abramsky, Samson, Dawar, Anuj, Pengming Wang
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Loading…
Strategy logic with imperfect information
Berthon, Raphael, Maubert, Bastien, Murano, Aniello, Rubin, Sasha, Vardi, Moshe Y.
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Loading…
A categorical semantics for causal structure
Kissinger, Aleks, Uijlen, Sander
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Loading…
The Theory of Traces for Systems with Nondeterminism and Probability
Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Loading…
No-Go Theorems for Distributive Laws
Zwart, Maaike, Marsden, Dan
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
Sato, Tetsuya, Barthe, Gilles, Gaboardi, Marco, Hsu, Justin, Katsumata, Shin-ya
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Natural numbers from integers
Sattler, Christian, Wärn, David
Published in Proceedings - Symposium on Logic in Computer Science (2024)
Published in Proceedings - Symposium on Logic in Computer Science (2024)
Get full text
Conference Proceeding
Loading…
Canonisation and Definability for Graphs of Bounded Rank Width
Grohe, Martin, Neuen, Daniel
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
First-order logic with counting
Kuske, Dietrich, Schweikardt, Nicole
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Loading…
Realizability in the Unitary Sphere
Diaz-Caro, Alejandro, Guillermo, Mauricio, Miquel, Alexandre, Valiron, Benoit
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Lambda Calculus and Probabilistic Computation
Faggian, Claudia, Rocca, Simona Ronchi della
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Quantum Hoare Logic with Ghost Variables
Unruh, Dominique
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Logic for Explainable AI
Darwiche, Adnan
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding