Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
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…
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 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…
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…
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…
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…
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
Jeandel, Emmanuel, Perdrix, Simon, 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…
High-level methods for homotopy construction in associative n-categories
Reutter, David, Vicary, Jamie
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…
Graphical Affine Algebra
Bonchi, Filippo, Piedeleu, Robin, Sobocinski, Pawel, Zanasi, Fabio
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…
Codensity Games for Bisimilarity
Komorida, Yuichi, Katsumata, Shin-ya, Hu, Nick, Klin, Bartek, Hasuo, Ichiro
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 comonadic view of simulation and quantum resources
Abramsky, Samson, Barbosa, Rui Soares, Karvonen, Martti, Mansfield, Shane
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…
Differentiable Causal Computations via Delayed Trace
Sprunger, David, 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…
On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields
Guepin, Florent, Haase, Christoph, Worrell, James
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