Search dblp for Publications

export results for "toc:db/conf/lics/lics2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lics/000123,
  author       = {Ruiwen Dong},
  title        = {The Identity Problem in the special affine group of Z\({}^{\mbox{2}}\)},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175768},
  doi          = {10.1109/LICS56636.2023.10175768},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/000123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/000123a,
  author       = {Dale Miller},
  title        = {A system of inference based on proof search: an extended abstract},
  booktitle    = {{LICS}},
  pages        = {1--11},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175827},
  doi          = {10.1109/LICS56636.2023.10175827},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/000123a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/0002H023,
  author       = {Arka Ghosh and
                  Piotr Hofman and
                  Slawomir Lasota},
  title        = {Orbit-finite linear programming},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175799},
  doi          = {10.1109/LICS56636.2023.10175799},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/0002H023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AminofGRZ23,
  author       = {Benjamin Aminof and
                  Giuseppe De Giacomo and
                  Sasha Rubin and
                  Florian Zuleger},
  title        = {Stochastic Best-Effort Strategies for Borel Goals},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175747},
  doi          = {10.1109/LICS56636.2023.10175747},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/AminofGRZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ArgyrisLLTTV23,
  author       = {Georgios Argyris and
                  Alberto Lluch{-}Lafuente and
                  Alexander Leguizamon{-}Robayo and
                  Mirco Tribastone and
                  Max Tschaikowski and
                  Andrea Vandin},
  title        = {Minimization of Dynamical Systems over Monoids},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175697},
  doi          = {10.1109/LICS56636.2023.10175697},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ArgyrisLLTTV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BaeldeKL23,
  author       = {David Baelde and
                  Adrien Koutsos and
                  Joseph Lallemand},
  title        = {A Higher-Order Indistinguishability Logic for Cryptographic Reasoning},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175781},
  doi          = {10.1109/LICS56636.2023.10175781},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BaeldeKL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BalajiCNS023,
  author       = {Nikhil Balaji and
                  Lorenzo Clemente and
                  Klara Nosan and
                  Mahsa Shirmohammadi and
                  James Worrell},
  title        = {Multiplicity Problems on Algebraic Series and Context-Free Grammars},
  booktitle    = {{LICS}},
  pages        = {1--12},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175707},
  doi          = {10.1109/LICS56636.2023.10175707},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BalajiCNS023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BartoBKMP23,
  author       = {Libor Barto and
                  Bertalan Bodor and
                  Marcin Kozik and
                  Antoine Mottet and
                  Michael Pinsker},
  title        = {Symmetries of Graphs and Structures that Fail to Interpret a Finite
                  Thing},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175732},
  doi          = {10.1109/LICS56636.2023.10175732},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BartoBKMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BellS23,
  author       = {Jason P. Bell and
                  Daniel Smertnig},
  title        = {Computing the linear hull: Deciding Deterministic? and Unambiguous?
                  for weighted automata over fields},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175691},
  doi          = {10.1109/LICS56636.2023.10175691},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BellS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BenediktH23,
  author       = {Michael Benedikt and
                  Ehud Hrushovski},
  title        = {Embedded Finite Models beyond Restricted Quantifier Collapse},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175804},
  doi          = {10.1109/LICS56636.2023.10175804},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BenediktH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BenerecettiBMP23,
  author       = {Massimo Benerecetti and
                  Laura Bozzelli and
                  Fabio Mogavero and
                  Adriano Peron},
  title        = {Quantifying Over Trees in Monadic Second-Order Logic},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175832},
  doi          = {10.1109/LICS56636.2023.10175832},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BenerecettiBMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BergeremGKO23,
  author       = {Steffen van Bergerem and
                  Martin Grohe and
                  Sandra Kiefer and
                  Luca Oeljeklaus},
  title        = {Simulating Logspace-Recursion with Logarithmic Quantifier Depth},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175818},
  doi          = {10.1109/LICS56636.2023.10175818},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BergeremGKO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BergstrasserG23,
  author       = {Pascal Bergstr{\"{a}}{\ss}er and
                  Moses Ganardi},
  title        = {Revisiting Membership Problems in Subclasses of Rational Relations},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175722},
  doi          = {10.1109/LICS56636.2023.10175722},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BergstrasserG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BlondinOS23,
  author       = {Michael Blondin and
                  Philip Offtermatt and
                  Alex Sansfa{\c{c}}on{-}Buchanan},
  title        = {Verifying linear temporal specifications of constant-rate multi-mode
                  systems},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175721},
  doi          = {10.1109/LICS56636.2023.10175721},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BlondinOS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Bojanczyk23,
  author       = {Mikolaj Bojanczyk},
  title        = {Folding interpretations},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175796},
  doi          = {10.1109/LICS56636.2023.10175796},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Bojanczyk23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Bojanczyk23a,
  author       = {Mikolaj Bojanczyk},
  title        = {On the Growth Rates of Polyregular Functions},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175808},
  doi          = {10.1109/LICS56636.2023.10175808},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Bojanczyk23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BuntingM23,
  author       = {Benedict Bunting and
                  Andrzej S. Murawski},
  title        = {Operational Algorithmic Game Semantics},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175791},
  doi          = {10.1109/LICS56636.2023.10175791},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BuntingM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CaretteHLV23,
  author       = {Titouan Carette and
                  Timoth{\'{e}}e Hoffreumon and
                  {\'{E}}mile Larroque and
                  Renaud Vilmart},
  title        = {Complete Graphical Language for Hermiticity-Preserving Superoperators},
  booktitle    = {{LICS}},
  pages        = {1--22},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175712},
  doi          = {10.1109/LICS56636.2023.10175712},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/CaretteHLV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CaretteLZ23,
  author       = {Titouan Carette and
                  Louis Lemonnier and
                  Vladimir Zamdzhiev},
  title        = {Central Submonads and Notions of Computation: Soundness, Completeness
                  and Internal Languages},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175687},
  doi          = {10.1109/LICS56636.2023.10175687},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/CaretteLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CiabattoniLR23,
  author       = {Agata Ciabattoni and
                  Timo Lang and
                  Revantha Ramanayake},
  title        = {Cut-Restriction: From Cuts to Analytic Cuts},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175785},
  doi          = {10.1109/LICS56636.2023.10175785},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/CiabattoniLR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ClairambaultF23,
  author       = {Pierre Clairambault and
                  Simon Forest},
  title        = {The Cartesian Closed Bicategory of Thin Spans of Groupoids},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175754},
  doi          = {10.1109/LICS56636.2023.10175754},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ClairambaultF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ClairambaultOP23,
  author       = {Pierre Clairambault and
                  Federico Olimpieri and
                  Hugo Paquet},
  title        = {From Thin Concurrent Games to Generalized Species of Structures},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175681},
  doi          = {10.1109/LICS56636.2023.10175681},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ClairambaultOP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ClementHMPV23,
  author       = {Alexandre Cl{\'{e}}ment and
                  Nicolas Heurtel and
                  Shane Mansfield and
                  Simon Perdrix and
                  Beno{\^{\i}}t Valiron},
  title        = {A Complete Equational Theory for Quantum Circuits},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175801},
  doi          = {10.1109/LICS56636.2023.10175801},
  timestamp    = {Sun, 26 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ClementHMPV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ColcombetDL23,
  author       = {Thomas Colcombet and
                  Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and
                  Aliaume Lopez},
  title        = {{\(\mathbb{Z}\)}-polyregular functions},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175685},
  doi          = {10.1109/LICS56636.2023.10175685},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ColcombetDL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Curzi023,
  author       = {Gianluca Curzi and
                  Anupam Das},
  title        = {Computational expressivity of (circular) proofs with fixed points},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175772},
  doi          = {10.1109/LICS56636.2023.10175772},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Curzi023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Dahlqvist0S23,
  author       = {Fredrik Dahlqvist and
                  Alexandra Silva and
                  William Smith},
  title        = {Deterministic stream-sampling for probabilistic programming: semantics
                  and verification},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175773},
  doi          = {10.1109/LICS56636.2023.10175773},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Dahlqvist0S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Darwiche23,
  author       = {Adnan Darwiche},
  title        = {Logic for Explainable {AI}},
  booktitle    = {{LICS}},
  pages        = {1--11},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175757},
  doi          = {10.1109/LICS56636.2023.10175757},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Darwiche23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/DaviaudP23,
  author       = {Laure Daviaud and
                  David Purser},
  title        = {The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175798},
  doi          = {10.1109/LICS56636.2023.10175798},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DaviaudP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/DreierT23,
  author       = {Jan Dreier and
                  Jamie Tucker{-}Foltz},
  title        = {Pseudorandom Finite Models},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175694},
  doi          = {10.1109/LICS56636.2023.10175694},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/DreierT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Farzan23,
  author       = {Azadeh Farzan},
  title        = {Commutativity in Automated Verification},
  booktitle    = {{LICS}},
  pages        = {1--7},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175734},
  doi          = {10.1109/LICS56636.2023.10175734},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Farzan23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Fernandez-Duque23,
  author       = {David Fern{\'{a}}ndez{-}Duque and
                  Quentin Gougeon},
  title        = {Fixed Point Logics on Hemimetric Spaces},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175784},
  doi          = {10.1109/LICS56636.2023.10175784},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Fernandez-Duque23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/FichteGHSO23,
  author       = {Johannes Klaus Fichte and
                  Robert Ganian and
                  Markus Hecher and
                  Friedrich Slivovsky and
                  Sebastian Ordyniak},
  title        = {Structure-Aware Lower Bounds and Broadening the Horizon of Tractability
                  for {QBF}},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175675},
  doi          = {10.1109/LICS56636.2023.10175675},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FichteGHSO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/FigueiraFB23,
  author       = {Diego Figueira and
                  Santiago Figueira and
                  Edwin Pin Baque},
  title        = {{PDL} on Steroids: on Expressive Extensions of {PDL} with Intersection
                  and Converse},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175813},
  doi          = {10.1109/LICS56636.2023.10175813},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/FigueiraFB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Galal23,
  author       = {Zeinab Galal},
  title        = {Fixpoint operators for 2-categorical structures},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175688},
  doi          = {10.1109/LICS56636.2023.10175688},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Galal23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Gavazzo23,
  author       = {Francesco Gavazzo},
  title        = {Allegories of Symbolic Manipulations},
  booktitle    = {{LICS}},
  pages        = {1--15},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175807},
  doi          = {10.1109/LICS56636.2023.10175807},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Gavazzo23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/GhahremaniKO23,
  author       = {Faraz Ghahremani and
                  Edon Kelmendi and
                  Jo{\"{e}}l Ouaknine},
  title        = {Reachability in Injective Piecewise Affine Maps},
  booktitle    = {{LICS}},
  pages        = {1--11},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175723},
  doi          = {10.1109/LICS56636.2023.10175723},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GhahremaniKO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/GirlandoKMMS23,
  author       = {Marianna Girlando and
                  Roman Kuznets and
                  Sonia Marin and
                  Marianela Morales and
                  Lutz Stra{\ss}burger},
  title        = {Intuitionistic {S4} is decidable},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175684},
  doi          = {10.1109/LICS56636.2023.10175684},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GirlandoKMMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/GoubaultKLR23,
  author       = {{\'{E}}ric Goubault and
                  Roman Kniazev and
                  J{\'{e}}r{\'{e}}my Ledent and
                  Sergio Rajsbaum},
  title        = {Semi-Simplicial Set Models for Distributed Knowledge},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175737},
  doi          = {10.1109/LICS56636.2023.10175737},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GoubaultKLR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Grohe23,
  author       = {Martin Grohe},
  title        = {The Descriptive Complexity of Graph Neural Networks},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175735},
  doi          = {10.1109/LICS56636.2023.10175735},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Grohe23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/GroheLN23,
  author       = {Martin Grohe and
                  Moritz Lichter and
                  Daniel Neuen},
  title        = {The Iteration Number of the Weisfeiler-Leman Algorithm},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175741},
  doi          = {10.1109/LICS56636.2023.10175741},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/GroheLN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/GrosenK023,
  author       = {Jessie Grosen and
                  David M. Kahn and
                  Jan Hoffmann},
  title        = {Automatic Amortized Resource Analysis with Regular Recursive Types},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175720},
  doi          = {10.1109/LICS56636.2023.10175720},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GrosenK023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HadzihasanovicK23,
  author       = {Amar Hadzihasanovic and
                  Diana Kessler},
  title        = {Higher-Dimensional Subdiagram Matching},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175726},
  doi          = {10.1109/LICS56636.2023.10175726},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/HadzihasanovicK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HellingsGBG23,
  author       = {Jelle Hellings and
                  Marc Gyssens and
                  Jan Van den Bussche and
                  Dirk Van Gucht},
  title        = {Expressive Completeness of Two-Variable First-Order Logic with Counting
                  for First-Order Logic Queries on Rooted Unranked Trees},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175828},
  doi          = {10.1109/LICS56636.2023.10175828},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/HellingsGBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HuotLMS23,
  author       = {Mathieu Huot and
                  Alexander K. Lew and
                  Vikash K. Mansinghka and
                  Sam Staton},
  title        = {{\(\omega\)}PAP Spaces: Reasoning Denotationally About Higher-Order,
                  Recursive Probabilistic and Differentiable Programs},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175739},
  doi          = {10.1109/LICS56636.2023.10175739},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/HuotLMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/JaklMS23,
  author       = {Tomas Jakl and
                  Dan Marsden and
                  Nihil Shah},
  title        = {A categorical account of composition methods in logic},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175751},
  doi          = {10.1109/LICS56636.2023.10175751},
  timestamp    = {Tue, 23 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/JaklMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/JongKFX23,
  author       = {Tom de Jong and
                  Nicolai Kraus and
                  Fredrik Nordvall Forsberg and
                  Chuangjie Xu},
  title        = {Set-Theoretic and Type-Theoretic Ordinals Coincide},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175762},
  doi          = {10.1109/LICS56636.2023.10175762},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/JongKFX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KarimovKNO023,
  author       = {Toghrul Karimov and
                  Edon Kelmendi and
                  Joris Nieuwveld and
                  Jo{\"{e}}l Ouaknine and
                  James Worrell},
  title        = {The Power of Positivity},
  booktitle    = {{LICS}},
  pages        = {1--11},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175758},
  doi          = {10.1109/LICS56636.2023.10175758},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/KarimovKNO023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KerjeanL23,
  author       = {Marie Kerjean and
                  Jean{-}Simon Pacaud Lemay},
  title        = {Taylor Expansion as a Monad in Models of DiLL},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175753},
  doi          = {10.1109/LICS56636.2023.10175753},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KerjeanL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KoutavasLT23,
  author       = {Vasileios Koutavas and
                  Yu{-}Yang Lin and
                  Nikos Tzevelekos},
  title        = {Fully Abstract Normal Form Bisimulation for Call-by-Value {PCF}},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175778},
  doi          = {10.1109/LICS56636.2023.10175778},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/KoutavasLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KretinskyMW23,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative
                  Objectives},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175771},
  doi          = {10.1109/LICS56636.2023.10175771},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/KretinskyMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/LavoreR23,
  author       = {Elena Di Lavore and
                  Mario Rom{\'{a}}n},
  title        = {Evidential Decision Theory via Partial Markov Categories},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175776},
  doi          = {10.1109/LICS56636.2023.10175776},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/LavoreR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/LjungstromM23,
  author       = {Axel Ljungstr{\"{o}}m and
                  Anders M{\"{o}}rtberg},
  title        = {Formalizing {\(\pi\)}4(S\({}^{\mbox{3}}\)) {\(\cong\)}Z/2Z and Computing
                  a Brunerie Number in Cubical Agda},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175833},
  doi          = {10.1109/LICS56636.2023.10175833},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/LjungstromM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/MonicaMPS23,
  author       = {Dario Della Monica and
                  Angelo Montanari and
                  Gabriele Puppis and
                  Pietro Sala},
  title        = {The Logic of Prefixes and Suffixes is Elementary under Homogeneity\({}^{\mbox{*}}\)},
  booktitle    = {{LICS}},
  pages        = {1--12},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175824},
  doi          = {10.1109/LICS56636.2023.10175824},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/MonicaMPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/NakajimaZ23,
  author       = {Tamio{-}Vesa Nakajima and
                  Stanislav Zivn{\'{y}}},
  title        = {Boolean symmetric vs. functional {PCSP} dichotomy},
  booktitle    = {{LICS}},
  pages        = {1--12},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175746},
  doi          = {10.1109/LICS56636.2023.10175746},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/NakajimaZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Nakamura23,
  author       = {Yoshiki Nakamura},
  title        = {Existential Calculi of Relations with Transitive Closure: Complexity
                  and Edge Saturations},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175811},
  doi          = {10.1109/LICS56636.2023.10175811},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Nakamura23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Niu023,
  author       = {Yue Niu and
                  Robert Harper},
  title        = {A Metalanguage for Cost-Aware Denotational Semantics},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175777},
  doi          = {10.1109/LICS56636.2023.10175777},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Niu023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/NiwinskiPS23,
  author       = {Damian Niwinski and
                  Pawel Parys and
                  Michal Skrzypczak},
  title        = {The Probabilistic Rabin Tree Theorem\({}^{\mbox{*}}\)},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175800},
  doi          = {10.1109/LICS56636.2023.10175800},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/NiwinskiPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/PlaceZ23,
  author       = {Thomas Place and
                  Marc Zeitoun},
  title        = {Group Separation Strikes Back},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175683},
  doi          = {10.1109/LICS56636.2023.10175683},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/PlaceZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/PoorWSYYC23,
  author       = {Boldizs{\'{a}}r Po{\'{o}}r and
                  Quanlong Wang and
                  Razin A. Shaikh and
                  Lia Yeh and
                  Richie Yeung and
                  Bob Coecke},
  title        = {Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying
                  calculus},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175672},
  doi          = {10.1109/LICS56636.2023.10175672},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/PoorWSYYC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Przybyszewski23,
  author       = {Wojciech Przybyszewski},
  title        = {Distal Combinatorial Tools for Graphs of Bounded Twin-Width},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175719},
  doi          = {10.1109/LICS56636.2023.10175719},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Przybyszewski23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/SakayoriS23,
  author       = {Ken Sakayori and
                  Davide Sangiorgi},
  title        = {Extensional and Non-extensional Functions as Processes},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175686},
  doi          = {10.1109/LICS56636.2023.10175686},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/SakayoriS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Suciu23,
  author       = {Dan Suciu},
  title        = {Applications of Information Inequalities to Database Theory Problems},
  booktitle    = {{LICS}},
  pages        = {1--30},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175769},
  doi          = {10.1109/LICS56636.2023.10175769},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Suciu23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/ThomasW23,
  author       = {Thomas Ehrhard and
                  Aymeric Walch},
  title        = {Cartesian Coherent Differential Categories},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175717},
  doi          = {10.1109/LICS56636.2023.10175717},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ThomasW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Urbat00MS23,
  author       = {Henning Urbat and
                  Stelios Tsampas and
                  Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der},
  title        = {Weak Similarity in Higher-Order Mathematical Operational Semantics},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175706},
  doi          = {10.1109/LICS56636.2023.10175706},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Urbat00MS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/WangP0K23,
  author       = {Yuanhong Wang and
                  Juhua Pu and
                  Yuyi Wang and
                  Ondrej Kuzelka},
  title        = {On Exact Sampling in the Two-Variable Fragment of First-Order Logic},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175742},
  doi          = {10.1109/LICS56636.2023.10175742},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/WangP0K23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/WinklerK23,
  author       = {Tobias Winkler and
                  Joost{-}Pieter Katoen},
  title        = {On Certificates, Expected Runtimes, and Termination in Probabilistic
                  Pushdown Automata},
  booktitle    = {{LICS}},
  pages        = {1--13},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175714},
  doi          = {10.1109/LICS56636.2023.10175714},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/WinklerK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Winskel23,
  author       = {Glynn Winskel},
  title        = {Making Concurrency Functional},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175727},
  doi          = {10.1109/LICS56636.2023.10175727},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Winskel23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lics/2023,
  title        = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2023, Boston, MA, USA, June 26-29, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023},
  doi          = {10.1109/LICS56636.2023},
  isbn         = {979-8-3503-3587-3},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.