- Etienne Grandjean, Théo Grente:
Descriptive complexity for minimal time of cellular automata. LICS 2019: 1-13 - Martin Grohe, Daniel Neuen
:
Canonisation and Definability for Graphs of Bounded Rank Width. LICS 2019: 1-13 - Florent Guépin, Christoph Haase, James Worrell:
On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields. LICS 2019: 1-10 - Christoph Haase, Georg Zetzsche:
Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests. LICS 2019: 1-14 - Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger:
Intuitionistic proofs without syntax. LICS 2019: 1-13 - Mathieu Huot, Sam Staton:
Quantum channels as a categorical completion. LICS 2019: 1-13 - Petr Jancar, Sylvain Schmitz:
Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. LICS 2019: 1-12 - Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. LICS 2019: 1-10 - Patricia Johann, Andrew Polonsky:
Higher-Kinded Data Types: Syntax and Semantics. LICS 2019: 1-13 - Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. LICS 2019: 1-14 - Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS 2019: 1-14 - Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo:
Codensity Games for Bisimilarity. LICS 2019: 1-13 - Nicolai Kraus, Jakob von Raumer:
Path Spaces of Higher Inductive Types in Homotopy Type Theory. LICS 2019: 1-13 - Orna Kupferman, Gal Vardi:
Perspective Games. LICS 2019: 1-13 - Stepan L. Kuznetsov:
The Logic of Action Lattices is Undecidable. LICS 2019: 1-9 - Ugo Dal Lago, Naohiko Hoshino:
The Geometry of Bayesian Programming. LICS 2019: 1-13 - Jérôme Leroux, Sylvain Schmitz:
Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension. LICS 2019: 1-13 - Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer:
Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. LICS 2019: 1-13 - Paul-André Melliès:
Template games and differential linear logic. LICS 2019: 1-13 - C.-H. Luke Ong, Dominik Wagner:
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories. LICS 2019: 1-14 - Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini:
A Type Theory for Defining Logics and Proofs. LICS 2019: 1-13 - Nicola Pinzani, Stefano Gogioso, Bob Coecke:
Categorical Semantics for Time Travel. LICS 2019: 1-20 - Thomas Place, Marc Zeitoun:
Separation and covering for group based concatenation hierarchies. LICS 2019: 1-13 - David Reutter, Jamie Vicary:
High-level methods for homotopy construction in associative n-categories. LICS 2019: 1-13 - Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS 2019: 1-14 - Nicole Schweikardt:
Local normal forms and their use in algorithmic meta theorems (Invited Talk). LICS 2019: 1-3 - David Sprunger, Shin-ya Katsumata:
Differentiable Causal Computations via Delayed Trace. LICS 2019: 1-12 - Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram:
A Sequent Calculus for Opetopes. LICS 2019: 1-12 - Dominique Unruh:
Quantum Hoare Logic with Ghost Variables. LICS 2019: 1-13 - Renaud Vilmart:
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. LICS 2019: 1-10
