Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal |
Multimodal Dependent Type Theory. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Viviana Bono, Mariangiola Dezani-Ciancaglini |
A tale of intersection types. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Berthon, Shibashis Guha, Jean-François Raskin |
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Huot, Sam Staton |
Quantum channels as a categorical completion. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Georg Zetzsche |
Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place, Marc Zeitoun |
Separation and covering for group based concatenation hierarchies. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad-Javad Davari, Abbas Edalat, André Lieutier |
The convex hull of finitely generable subsets and its predicate transformer. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna |
Timed Systems through the Lens of Logic. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Sprunger, Shin-ya Katsumata |
Differentiable Causal Computations via Delayed Trace. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Fiore, Philip Saville |
A type theory for cartesian closed bicategories (Extended Abstract). |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe, Daniel Neuen |
Canonisation and Definability for Graphs of Bounded Rank Width. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 |
LICS |
2019 |
DBLP BibTeX RDF |
|
1 | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann |
The Hierarchy of Hyperlogics. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Fong, David I. Spivak, Rémy Tuyéras |
Backprop as Functor: A compositional perspective on supervised learning. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz |
Lambda Y-Calculus With Priorities. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Jakob Piribauer, Ocan Sankur |
Long-run Satisfaction of Path Properties. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris |
When is Ontology-Mediated Querying Efficient? |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Forest 0001, Samuel Mimram |
Describing free $\omega$ -categories. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto |
Promises Make Finite (Constraint Satisfaction) Problems Infinitary. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Ugo Dal Lago, Charles Grellois |
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Reutter, Jamie Vicary |
High-level methods for homotopy construction in associative n-categories. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq |
A Probabilistic and Non-Deterministic Call-by-Push-Value Language. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel, Miguel Romero 0001, Stanislav Zivný |
Point-width and Max-CSPs. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka, David Thibodeau 0001, Andreas Abel 0001, Francisco Ferreira 0001, Rébecca Zucchini |
A Type Theory for Defining Logics and Proofs. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram |
A Sequent Calculus for Opetopes. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
A short story of the CSP dichotomy conjecture. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bergerem |
Learning Concepts Definable in First-Order Logic with Counting. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Pinzani, Stefano Gogioso, Bob Coecke |
Categorical Semantics for Time Travel. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger |
Intuitionistic proofs without syntax. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Anuj Dawar, Joanna Ochremiak |
On the Power of Symmetric Linear Programs. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Schweikardt |
Local normal forms and their use in algorithmic meta theorems (Invited Talk). |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001 |
Graph Planning with Expected Finite Horizon. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak |
MSO+∇ is undecidable. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maaike Zwart, Dan Marsden |
No-Go Theorems for Distributive Laws. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
Codensity Games for Bisimilarity. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Unruh |
Quantum Hoare Logic with Ghost Variables. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clovis Eberhart, Bartek Klin |
History-Dependent Nominal μ-Calculus. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard |
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Gal Vardi |
Perspective Games. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Naohiko Hoshino |
The Geometry of Bayesian Programming. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohong Chen 0002, Grigore Rosu |
Matching μ-Logic. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Sato 0001, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
Model Comparison Games for Horn Description Logics. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski 0001, Fabio Zanasi |
Graphical Affine Algebra. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Grandjean, Théo Grente |
Descriptive complexity for minimal time of cellular automata. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florent Guépin, Christoph Haase, James Worrell 0001 |
On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong, Dominik Wagner |
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
Probabilistic Relational Reasoning via Metrics. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
Completeness for Game Logic. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy 0001, Jason M. Rute |
Algorithmic barriers to representing conditional independence. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus, Jakob von Raumer |
Path Spaces of Higher Inductive Types in Homotopy Type Theory. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Adsul, Saptarshi Sarkar 0001, A. V. Sreejith |
Block products for algebras over countable words and applications to logic. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron |
Realizability in the Unitary Sphere. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Johann, Andrew Polonsky |
Higher-Kinded Data Types: Syntax and Semantics. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian, Simona Ronchi Della Rocca |
Lambda Calculus and Probabilistic Computation. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Sylvain Schmitz |
Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen |
Type-Based Complexity Analysis of Probabilistic Functional Programs. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield |
A comonadic view of simulation and quantum resources. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar, Sylvain Schmitz |
Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Template games and differential linear logic. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Stéphane Demri |
Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stepan L. Kuznetsov |
The Logic of Action Lattices is Undecidable. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Vilmart |
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer |
Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
The Theory of Traces for Systems with Nondeterminism and Probability. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nadish de Silva |
Logical paradoxes in quantum computation. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand |
Inner Models of Univalence. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König 0001 |
A van Benthem Theorem for Fuzzy Modal Logic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Niewerth |
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Geoffroy |
Classical realizability as a classifier for nondeterminism. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dominic J. D. Hughes |
Unification nets: canonical proof net quantifiers. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio |
Riesz Modal Logic with Threshold Operators. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Sojakova, Patricia Johann |
A General Framework for Relational Parametricity. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna |
Regular and First-Order List Functions. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
Cellular Cohomology in Homotopy Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, M. Praveen |
Playing with Repetitions in Data Words Using Energy Games. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dan Frumin, Robbert Krebbers, Lars Birkedal |
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Nuyts, Dominique Devriese |
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet |
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
Boolean-Valued Semantics for the Stochastic λ-Calculus. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan, Florian Zuleger |
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Powell 0001 |
A functional interpretation with state. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cécilia Pradic, Colin Riba |
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera 0001 |
Black Ninjas in the Dark: Formal Analysis of Population Protocols. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joël D. Allred, Ulrich Ultes-Nitsche |
A Simple and Optimal Complementation Algorithm for Büchi Automata. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Jan Hoffmann 0002, Frank Pfenning |
Work Analysis with Resource-Aware Session Types. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bruce M. Kapron, Florian Steinberg 0001 |
Type-two polynomial-time and restricted lookahead. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum |
Tree-depth, quantifier elimination, and quantifier rank. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Vial |
Every λ-Term is Meaningful for the Infinitary Relational Model. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Tobias Meggendorfer |
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Steve Awodey, Jonas Frey, Sam Speight |
Impredicative Encodings of (Higher) Inductive Types. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
Rewriting with Frobenius. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi |
Sequential Relational Decomposition. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter W. O'Hearn |
Continuous Reasoning: Scaling the impact of formal methods. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Concurrency and Probability: Removing Confusion, Compositionally. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ross Horne, Ki Yung Ahn, Shang-Wei Lin 0001, Alwen Tiu |
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
An Algebraic Theory of Markov Processes. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|