| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Fernández-Duque, Quentin Gougeon |
Fixed Point Logics on Hemimetric Spaces.  |
LICS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Place, Marc Zeitoun |
Group Separation Strikes Back. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Przybyszewski |
Distal Combinatorial Tools for Graphs of Bounded Twin-Width. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Daviaud, David Purser |
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Adrien Koutsos, Joseph Lallemand |
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Niwinski, Pawel Parys, Michal Skrzypczak |
The Probabilistic Rabin Tree Theorem*. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell 0001 |
Multiplicity Problems on Algebraic Series and Context-Free Grammars. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger |
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk |
Folding interpretations. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001 |
A system of inference based on proof search: an extended abstract. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessie Grosen, David M. Kahn, Jan Hoffmann 0002 |
Automatic Amortized Resource Analysis with Regular Recursive Types. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedict Bunting, Andrzej S. Murawski |
Operational Algorithmic Game Semantics. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Clairambault, Federico Olimpieri, Hugo Paquet |
From Thin Concurrent Games to Generalized Species of Structures. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Curzi, Anupam Das 0002 |
Computational expressivity of (circular) proofs with fixed points. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum |
Semi-Simplicial Set Models for Distributed Knowledge. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Making Concurrency Functional. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan |
Commutativity in Automated Verification. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanhong Wang, Juhua Pu, Yuyi Wang 0001, Ondrej Kuzelka |
On Exact Sampling in the Two-Variable Fragment of First-Order Logic. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron |
A Complete Equational Theory for Quantum Circuits. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason P. Bell, Daniel Smertnig |
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Set-Theoretic and Type-Theoretic Ordinals Coincide. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamio-Vesa Nakajima, Stanislav Zivný |
Boolean symmetric vs. functional PCSP dichotomy. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton |
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Jakl, Dan Marsden, Nihil Shah |
A categorical account of composition methods in logic. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
Quantifying Over Trees in Monadic Second-Order Logic. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Sakayori, Davide Sangiorgi |
Extensional and Non-extensional Functions as Processes. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Alexandra Silva 0001, William Smith |
Deterministic stream-sampling for probabilistic programming: semantics and verification. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Darwiche |
Logic for Explainable AI. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine |
Reachability in Injective Piecewise Affine Maps. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Ehud Hrushovski |
Embedded Finite Models beyond Restricted Quantifier Collapse. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Minimization of Dynamical Systems over Monoids. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell 0001 |
The Power of Positivity. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Gavazzo |
Allegories of Symbolic Manipulations. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Urbat, Stelios Tsampas 0001, Sergey Goncharov 0001, Stefan Milius, Lutz Schröder |
Weak Similarity in Higher-Order Mathematical Operational Semantics. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Niu, Robert Harper 0001 |
A Metalanguage for Cost-Aware Denotational Semantics. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
Cut-Restriction: From Cuts to Analytic Cuts. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard, Aymeric Walch |
Cartesian Coherent Differential Categories. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023 |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger |
Intuitionistic S4 is decidable. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez |
ℤ-polyregular functions. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiwen Dong 0001 |
The Identity Problem in the special affine group of Z2. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Galal |
Fixpoint operators for 2-categorical structures. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Bergsträßer, Moses Ganardi |
Revisiting Membership Problems in Subclasses of Rational Relations. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshiki Nakamura 0001 |
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht |
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Hadzihasanovic, Diana Kessler |
Higher-Dimensional Subdiagram Matching. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Moritz Lichter, Daniel Neuen |
The Iteration Number of the Weisfeiler-Leman Algorithm. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Suciu |
Applications of Information Inequalities to Database Theory Problems. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk |
On the Growth Rates of Polyregular Functions. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart |
Complete Graphical Language for Hermiticity-Preserving Superoperators. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Ljungström, Anders Mörtberg |
Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak |
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan |
Verifying linear temporal specifications of constant-rate multi-mode systems. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Dreier, Jamie Tucker-Foltz |
Pseudorandom Finite Models. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Di Lavore, Mario Román |
Evidential Decision Theory via Partial Markov Categories. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arka Ghosh 0002, Piotr Hofman, Slawomir Lasota 0001 |
Orbit-finite linear programming. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker |
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe |
The Descriptive Complexity of Graph Neural Networks. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
Simulating Logspace-Recursion with Logarithmic Quantifier Depth. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Kerjean, Jean-Simon Pacaud Lemay |
Taylor Expansion as a Monad in Models of DiLL. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
Stochastic Best-Effort Strategies for Borel Goals. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Geoffroy |
A first-order completeness result about characteristic Boolean algebras in classical realizability. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Moses Ganardi, Rupak Majumdar, Georg Zetzsche |
The Complexity of Bidirected Reachability in Valence Systems. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Chistikov 0001, Christoph Haase, Alessio Mansutti |
Geometric decision procedures and the VC dimension of linear arithmetic theories. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Di Lavore, Giovanni de Felice, Mario Román |
Monoidal Streams for Dataflow Programming. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Matache, Sean K. Moss, Sam Staton |
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Aiswarya, Soumodev Mal, Prakash Saivasan |
On the Satisfiability of Context-free String Constraints with Subword-Ordering. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying |
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Armin Grabmayer |
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk |
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Heidemann, David Reutter, Jamie Vicary |
Zigzag normalisation for associative n-categories. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Curzi, Anupam Das 0002 |
Cyclic Implicit Complexity. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean K. Moss, Paolo Perrone |
Probability monads with submonads of deterministic states. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Dartois, Paul Gastin, R. Govind 0001, Shankara Narayanan Krishna |
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arka Ghosh 0002, Piotr Hofman, Slawomir Lasota 0001 |
Solvability of orbit-finite systems of linear equations. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Sojakova, G. A. Kavvos |
Syllepsis in Homotopy Type Theory. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoàv Montacute, Nihil Shah |
The Pebble-Relation Comonad in Finite Model Theory. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ohlmann |
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dagnino, Fabio Pasquali |
Logical Foundations of Quantitative Equality. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke |
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Mottet, Michael Pinsker |
Smooth approximations and CSPs over finitely bounded homogeneous structures. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi |
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Blot |
A direct computational interpretation of second-order arithmetic via update recursion. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
Reasonable Space for the λ-Calculus, Logarithmically. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Edon Kelmendi |
Computing the Density of the Positivity Set for Linear Recurrence Sequences. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Lichter, Pascal Schweitzer |
Choiceless Polynomial Time with Witnessed Symmetric Choice. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanyan Li, Andrzej S. Murawski, Luke Ong |
Probabilistic Verification Beyond Context-Freeness. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Tsukada, Kazuyuki Asada |
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Felipe Ferreira Santos |
Separating LREC from LFP. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aliaume Lopez |
When Locality Meets Preservation. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland |
The boundedness and zero isolation problems for weighted automata over nonnegative rationals. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license