Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Denis Kuperberg |
Positive First-order Logic on Words. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fedor Part, Neil Thapen, Iddo Tzameret |
First-Order Reasoning and Efficient Semi-Algebraic Proofs. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean Christoph Jung, Frank Wolter |
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Federico Olimpieri |
Intersection Type Distributors. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik |
In search of lost time: Axiomatising parallel composition in process algebras. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Jia 0002, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Commutative Monads for Probabilistic Programming Languages. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Asynchronous Template Games and the Gray Tensor Product of 2-Categories. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk |
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Balázs F. Mezei, Marcin Wrochna, Stanislav Zivný |
PTAS for Sparse General-Valued CSPs. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Erickson 0001, Gabriel Nivasch, Junyan Xu |
Fusible numbers and Peano Arithmetic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rineke Verbrugge |
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Dreier |
Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jamie Tucker-Foltz |
Inapproximability of Unique Games in Fixed-Point Logic with Counting. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ramana Nagasamudram, David A. Naumann |
Alignment Completeness for Relational Hoare Logics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
A Compositional Cost Model for the λ-calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Thomas Feller 0001, Simon Knäuer, Sebastian Rudolph |
On Logics and Homomorphism Closure. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
On sequentiality and well-bracketing in the π-calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu |
On the Expressive Power of Homomorphism Counts. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Bertalan Bodor |
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Farzaneh Derakhshan, Stephanie Balzer, Limin Jia 0001 |
Session Logical Relations for Noninterference. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kieronski, Sebastian Rudolph |
Finite Model Theory of the Triguarded Fragment and Related Logics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001 |
Stochastic Processes with Expected Stopping Time. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Robert M. Hierons |
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Farzad Jafarrahmani |
Categorical models of Linear Logic with fixed points of formulas. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Noam Shenwald |
Perspective Multi-Player Games. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Lichter |
Separating Rank Logic from Polynomial Time. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julien Grange |
Successor-Invariant First-Order Logic on Classes of Bounded Degree. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian |
Complexity of controlled bad sequences over finite sets of Nd. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Henning Urbat, Lutz Schröder |
Automata Learning: An Algebraic Approach. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Moore, Taylor Walenczyk |
The Hidden Subgroup Problem for Universal Algebras. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis |
A Fixed Point Theorem on Lexicographic Lattice Structures. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Powell 0001 |
On the computational content of Zorn's lemma. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler |
Approximating Values of Generalized-Reachability Stochastic Games. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Wied Pakusa, Jakub Rydval |
Temporal Constraint Satisfaction Problems in Fixed-Point Logic. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe |
Counting Bounded Tree Depth Homomorphisms. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niels van der Weide |
Constructing Higher Inductive Types as Groupoid Quotients. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan |
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schuster 0001, Daniel Misselbeck-Wessel |
Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grabmayer, Wan J. Fokkink |
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Yu Chen 0039, Kishor Jothimurugan, Sanjeev Khanna |
Space-efficient Query Evaluation over Probabilistic Event Streams. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Amina Doumane |
First-order tree-to-tree functions. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Curzi, Michele Pagani |
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peio Borthelle, Tom Hirschowitz, Ambroise Lafont |
A Cellular Howe Theorem. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Russell Impagliazzo, Sasank Mouli, Toniann Pitassi |
The Surprising Power of Constant Depth Algebraic Proofs. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Rasmus Ibsen-Jensen, Rahul Savani |
One-Clock Priced Timed Games are PSPACE-hard. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jendrik Brachter, Pascal Schweitzer |
On the Weisfeiler-Leman Dimension of Finite Groups. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Karoliina Lehtinen, Martin Zimmermann 0002 |
Good-for-games ω-Pushdown Automata. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Acclavio, Ross Horne, Lutz Straßburger |
Logic Beyond Formulas: A Proof System on Graphs. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001, Mikhail Vyalyi |
Re-pairing brackets. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cong Tian, Wensheng Wang, Zhenhua Duan |
Making Streett Determinization Tight. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Szymon Torunczyk, Thomas Zeume |
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kuldeep S. Meel, S. Akshay 0001 |
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard |
Cones as a model of intuitionistic linear logic. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | András Kovács, Ambrus Kaposi |
Large and Infinitary Quotient Inductive-Inductive Types. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goy 0002, Daniela Petrisan |
Combining probabilistic and non-deterministic choice via weak distributive laws. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Herbelin, Étienne Miquey |
A calculus of expandable stores: Continuation-and-environment-passing style translations. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Pierre Vial |
Consuming and Persistent Types for Classical Logic. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema |
Descriptive complexity of real computation and probabilistic independence logic. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Kucera 0001, Jérôme Leroux, Dominik Velan |
Efficient Analysis of VASS Termination Complexity. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
When Reachability Meets Grzegorczyk. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Salomon Sickert, Javier Esparza |
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
A Hennessy-Milner Theorem for ATL with Imperfect Information. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Mikhail A. Raskin |
The Complexity of Reachability in Affine Vector Addition Systems with States. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Göller, Pawel Parys |
Bisimulation Finiteness of Pushdown Systems Is Elementary. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abraham Westerbaan, Bas Westerbaan, John van de Wetering |
A characterisation of ordered abstract probabilities. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Marie Pédrot |
Russian Constructivism in a Prefascist Theory. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch, Luis Scoccola |
The Integers as a Higher Inductive Type. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001 (eds.) |
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Revantha Ramanayake |
Extended Kripke lemma and decidability for hypersequent substructural logics. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada |
On Computability of Logical Approaches to Branching-Time Property Verification of Programs. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Sojakova, Floris van Doorn, Egbert Rijke |
Sequential Colimits in Homotopy Type Theory. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael Arkor, Marcelo Fiore |
Algebraic models of simple type theories: A polynomial approach. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Z. Weaver, Daniel R. Licata |
A Constructive Model of Directed Univalence in Bicubical Sets. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peng Fu 0001, Kohei Kishida, Peter Selinger |
Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis |
A Higher Structure Identity Principle. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti |
Modal Logics with Composition on Finite Forests: Expressivity and Complexity. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Léo Stefanesco |
Concurrent Separation Logic Meets Template Games. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Fiore, Philip Saville |
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sattler, Andrea Vezzosi |
Partial Univalence in n-truncated Type Theory. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jim de Groot, Dirk Pattinson |
Modal Intuitionistic Logics as Dialgebraic Logics. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel |
Automatic Structures: Twenty Years Later. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux |
A tier-based typed programming language characterizing Feasible Functionals. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler |
Lower Bounds for QBFs of Bounded Treewidth. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Georg Zetzsche |
An Approach to Regular Separability in Vector Addition Systems. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
Intermediate problems in modular circuits satisfiability. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Fabianski, Michal Skrzypczak, Szymon Torunczyk |
Uniformisations of Regular Relations Over Bi-Infinite Words. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
Interaction Laws of Monads and Comonads. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Umang Mathur 0001, Andreas Pavlogiannis, Mahesh Viswanathan 0001 |
The Complexity of Dynamic Data Race Prediction. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Contextual Types, Explained: Invited Tutorial. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michal Wrona |
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Charlie Jacomme, Steve Kremer |
Universal equivalence and majority of probabilistic programs over finite fields. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia 0001 |
Reconciling noninterference and gradual typing. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche |
Extensions of ω-Regular Languages. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Lhote |
Pebble Minimization of Polyregular Functions. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Koenig, Zhong Shao |
Refinement-Based Game Semantics for Certified Abstraction Layers. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus, Jakob von Raumer |
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|