default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lics/lics2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/lics/0002R19,
author = {Xiaohong Chen and
Grigore Rosu},
title = {Matching {\(\mu\)}-Logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785675},
doi = {10.1109/LICS.2019.8785675},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0002R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbramskyBKM19,
author = {Samson Abramsky and
Rui Soares Barbosa and
Martti Karvonen and
Shane Mansfield},
title = {A comonadic view of simulation and quantum resources},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785677},
doi = {10.1109/LICS.2019.8785677},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbramskyBKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AckermanAF0R19,
author = {Nathanael L. Ackerman and
Jeremy Avigad and
Cameron E. Freer and
Daniel M. Roy and
Jason M. Rute},
title = {Algorithmic barriers to representing conditional independence},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785762},
doi = {10.1109/LICS.2019.8785762},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AckermanAF0R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AdsulSS19,
author = {Bharat Adsul and
Saptarshi Sarkar and
A. V. Sreejith},
title = {Block products for algebras over countable words and applications
to logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785669},
doi = {10.1109/LICS.2019.8785669},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AdsulSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AkshayGJK19,
author = {S. Akshay and
Paul Gastin and
Vincent Jug{\'{e}} and
Shankara Narayanan Krishna},
title = {Timed Systems through the Lens of Logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785684},
doi = {10.1109/LICS.2019.8785684},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AkshayGJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AmorimGHK19,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Justin Hsu and
Shin{-}ya Katsumata},
title = {Probabilistic Relational Reasoning via Metrics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--19},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785715},
doi = {10.1109/LICS.2019.8785715},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AmorimGHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AtseriasDO19,
author = {Albert Atserias and
Anuj Dawar and
Joanna Ochremiak},
title = {On the Power of Symmetric Linear Programs},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785792},
doi = {10.1109/LICS.2019.8785792},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AtseriasDO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AvanziniLG19,
author = {Martin Avanzini and
Ugo Dal Lago and
Alexis Ghyselen},
title = {Type-Based Complexity Analysis of Probabilistic Functional Programs},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785725},
doi = {10.1109/LICS.2019.8785725},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AvanziniLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Baier0PS19,
author = {Christel Baier and
Nathalie Bertrand and
Jakob Piribauer and
Ocan Sankur},
title = {Long-run Satisfaction of Path Properties},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785672},
doi = {10.1109/LICS.2019.8785672},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Baier0PS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarceloFLP19,
author = {Pablo Barcel{\'{o}} and
Cristina Feier and
Carsten Lutz and
Andreas Pieris},
title = {When is Ontology-Mediated Querying Efficient?},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785823},
doi = {10.1109/LICS.2019.8785823},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BarceloFLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Barto19,
author = {Libor Barto},
title = {Promises Make Finite (Constraint Satisfaction) Problems Infinitary},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785671},
doi = {10.1109/LICS.2019.8785671},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Barto19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BednarczykD19,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri},
title = {Why Propositional Quantification Makes Modal Logics on Trees Robustly
Hard?},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785656},
doi = {10.1109/LICS.2019.8785656},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BednarczykD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Bergerem19,
author = {Steffen van Bergerem},
title = {Learning Concepts Definable in First-Order Logic with Counting},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785811},
doi = {10.1109/LICS.2019.8785811},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Bergerem19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BodirskyMOOPW19,
author = {Manuel Bodirsky and
Antoine Mottet and
Miroslav Ols{\'{a}}k and
Jakub Oprsal and
Michael Pinsker and
Ross Willard},
title = {Topology is relevant (in a dichotomy conjecture for infinite-domain
constraint satisfaction problems)},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785883},
doi = {10.1109/LICS.2019.8785883},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BodirskyMOOPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykKS19,
author = {Mikolaj Bojanczyk and
Edon Kelmendi and
Michal Skrzypczak},
title = {MSO+{\(\nabla\)} is undecidable},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785892},
doi = {10.1109/LICS.2019.8785892},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BojanczykKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiPSZ19,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
title = {Graphical Affine Algebra},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785877},
doi = {10.1109/LICS.2019.8785877},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiPSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiSV19,
author = {Filippo Bonchi and
Ana Sokolova and
Valeria Vignudelli},
title = {The Theory of Traces for Systems with Nondeterminism and Probability},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785673},
doi = {10.1109/LICS.2019.8785673},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Bulatov19,
author = {Andrei A. Bulatov},
title = {A short story of the {CSP} dichotomy conjecture},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785678},
doi = {10.1109/LICS.2019.8785678},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Bulatov19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Carbonnel0Z19,
author = {Cl{\'{e}}ment Carbonnel and
Miguel Romero and
Stanislav Zivn{\'{y}}},
title = {Point-width and Max-CSPs},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785660},
doi = {10.1109/LICS.2019.8785660},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Carbonnel0Z19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Chatterjee019,
author = {Krishnendu Chatterjee and
Laurent Doyen},
title = {Graph Planning with Expected Finite Horizon},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785706},
doi = {10.1109/LICS.2019.8785706},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Chatterjee019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CoenenFHH19,
author = {Norine Coenen and
Bernd Finkbeiner and
Christopher Hahn and
Jana Hofmann},
title = {The Hierarchy of Hyperlogics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785713},
doi = {10.1109/LICS.2019.8785713},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CoenenFHH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DavariEL19,
author = {Mohammad{-}Javad Davari and
Abbas Edalat and
Andr{\'{e}} Lieutier},
title = {The convex hull of finitely generable subsets and its predicate transformer},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785680},
doi = {10.1109/LICS.2019.8785680},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DavariEL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Diaz-CaroGMV19,
author = {Alejandro D{\'{\i}}az{-}Caro and
Mauricio Guillermo and
Alexandre Miquel and
Beno{\^{\i}}t Valiron},
title = {Realizability in the Unitary Sphere},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785834},
doi = {10.1109/LICS.2019.8785834},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Diaz-CaroGMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EberhartK19,
author = {Clovis Eberhart and
Bartek Klin},
title = {History-Dependent Nominal {\(\mu\)}-Calculus},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785736},
doi = {10.1109/LICS.2019.8785736},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/EberhartK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EnqvistHKMV19,
author = {Sebastian Enqvist and
Helle Hvid Hansen and
Clemens Kupke and
Johannes Marti and
Yde Venema},
title = {Completeness for Game Logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785676},
doi = {10.1109/LICS.2019.8785676},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EnqvistHKMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FaggianR19,
author = {Claudia Faggian and
Simona Ronchi Della Rocca},
title = {Lambda Calculus and Probabilistic Computation},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785699},
doi = {10.1109/LICS.2019.8785699},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FaggianR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FioreS19,
author = {Marcelo Fiore and
Philip Saville},
title = {A type theory for cartesian closed bicategories (Extended Abstract)},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785708},
doi = {10.1109/LICS.2019.8785708},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FioreS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FongST19,
author = {Brendan Fong and
David I. Spivak and
R{\'{e}}my Tuy{\'{e}}ras},
title = {Backprop as Functor: {A} compositional perspective on supervised learning},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785665},
doi = {10.1109/LICS.2019.8785665},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FongST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ForestM19,
author = {Simon Forest and
Samuel Mimram},
title = {Describing free {\textdollar}{\textbackslash}omega{\textdollar} -categories},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785687},
doi = {10.1109/LICS.2019.8785687},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ForestM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-Larrecq19,
author = {Jean Goubault{-}Larrecq},
title = {A Probabilistic and Non-Deterministic Call-by-Push-Value Language},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785809},
doi = {10.1109/LICS.2019.8785809},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Goubault-Larrecq19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GrandjeanG19,
author = {Etienne Grandjean and
Th{\'{e}}o Grente},
title = {Descriptive complexity for minimal time of cellular automata},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785666},
doi = {10.1109/LICS.2019.8785666},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GrandjeanG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheN19,
author = {Martin Grohe and
Daniel Neuen},
title = {Canonisation and Definability for Graphs of Bounded Rank Width},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785682},
doi = {10.1109/LICS.2019.8785682},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GroheN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GuepinH019,
author = {Florent Gu{\'{e}}pin and
Christoph Haase and
James Worrell},
title = {On the Existential Theories of B{\"{u}}chi Arithmetic and Linear
p-adic Fields},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785681},
doi = {10.1109/LICS.2019.8785681},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GuepinH019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HaaseZ19,
author = {Christoph Haase and
Georg Zetzsche},
title = {Presburger arithmetic with stars, rational subsets of graph groups,
and nested zero tests},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785850},
doi = {10.1109/LICS.2019.8785850},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HaaseZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeijltjesHS19,
author = {Willem B. Heijltjes and
Dominic J. D. Hughes and
Lutz Stra{\ss}burger},
title = {Intuitionistic proofs without syntax},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785827},
doi = {10.1109/LICS.2019.8785827},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HeijltjesHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HuotS19,
author = {Mathieu Huot and
Sam Staton},
title = {Quantum channels as a categorical completion},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785700},
doi = {10.1109/LICS.2019.8785700},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HuotS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JancarS19,
author = {Petr Jancar and
Sylvain Schmitz},
title = {Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785848},
doi = {10.1109/LICS.2019.8785848},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JancarS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeandelPV19,
author = {Emmanuel Jeandel and
Simon Perdrix and
Renaud Vilmart},
title = {A Generic Normal Form for ZX-Diagrams and Application to the Rational
Angle Completeness},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785754},
doi = {10.1109/LICS.2019.8785754},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JeandelPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohannP19,
author = {Patricia Johann and
Andrew Polonsky},
title = {Higher-Kinded Data Types: Syntax and Semantics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785657},
doi = {10.1109/LICS.2019.8785657},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JohannP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JungPWZ19,
author = {Jean Christoph Jung and
Fabio Papacchini and
Frank Wolter and
Michael Zakharyaschev},
title = {Model Comparison Games for Horn Description Logics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785658},
doi = {10.1109/LICS.2019.8785658},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JungPWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KobayashiLG19,
author = {Naoki Kobayashi and
Ugo Dal Lago and
Charles Grellois},
title = {On the Termination Problem for Probabilistic Higher-Order Recursive
Programs},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785679},
doi = {10.1109/LICS.2019.8785679},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KobayashiLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KomoridaKHKH19,
author = {Yuichi Komorida and
Shin{-}ya Katsumata and
Nick Hu and
Bartek Klin and
Ichiro Hasuo},
title = {Codensity Games for Bisimilarity},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785691},
doi = {10.1109/LICS.2019.8785691},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KomoridaKHKH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KrausR19,
author = {Nicolai Kraus and
Jakob von Raumer},
title = {Path Spaces of Higher Inductive Types in Homotopy Type Theory},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785661},
doi = {10.1109/LICS.2019.8785661},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KrausR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KupfermanV19,
author = {Orna Kupferman and
Gal Vardi},
title = {Perspective Games},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785662},
doi = {10.1109/LICS.2019.8785662},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KupfermanV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kuznetsov19,
author = {Stepan L. Kuznetsov},
title = {The Logic of Action Lattices is Undecidable},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785659},
doi = {10.1109/LICS.2019.8785659},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Kuznetsov19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LagoH19,
author = {Ugo Dal Lago and
Naohiko Hoshino},
title = {The Geometry of Bayesian Programming},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785663},
doi = {10.1109/LICS.2019.8785663},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LagoH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LerouxS19,
author = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Schmitz},
title = {Reachability in Vector Addition Systems is Primitive-Recursive in
Fixed Dimension},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785796},
doi = {10.1109/LICS.2019.8785796},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LerouxS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LichterPS19,
author = {Moritz Lichter and
Ilia Ponomarenko and
Pascal Schweitzer},
title = {Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman
algorithm},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785694},
doi = {10.1109/LICS.2019.8785694},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LichterPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Mellies19,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
title = {Template games and differential linear logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785830},
doi = {10.1109/LICS.2019.8785830},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Mellies19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/OngW19,
author = {C.{-}H. Luke Ong and
Dominik Wagner},
title = {HoCHC: {A} Refutationally Complete and Semantically Invariant System
of Higher-order Logic Modulo Theories},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785784},
doi = {10.1109/LICS.2019.8785784},
timestamp = {Wed, 28 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/OngW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PientkaT00Z19,
author = {Brigitte Pientka and
David Thibodeau and
Andreas Abel and
Francisco Ferreira and
R{\'{e}}becca Zucchini},
title = {A Type Theory for Defining Logics and Proofs},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785683},
doi = {10.1109/LICS.2019.8785683},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PientkaT00Z19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PinzaniGC19,
author = {Nicola Pinzani and
Stefano Gogioso and
Bob Coecke},
title = {Categorical Semantics for Time Travel},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--20},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785664},
doi = {10.1109/LICS.2019.8785664},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PinzaniGC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PlaceZ19,
author = {Thomas Place and
Marc Zeitoun},
title = {Separation and covering for group based concatenation hierarchies},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785655},
doi = {10.1109/LICS.2019.8785655},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PlaceZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ReutterV19,
author = {David Reutter and
Jamie Vicary},
title = {High-level methods for homotopy construction in associative n-categories},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785895},
doi = {10.1109/LICS.2019.8785895},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ReutterV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SatoBGHK19,
author = {Tetsuya Sato and
Gilles Barthe and
Marco Gaboardi and
Justin Hsu and
Shin{-}ya Katsumata},
title = {Approximate Span Liftings: Compositional Semantics for Relaxations
of Differential Privacy},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785668},
doi = {10.1109/LICS.2019.8785668},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/SatoBGHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Schweikardt19,
author = {Nicole Schweikardt},
title = {Local normal forms and their use in algorithmic meta theorems (Invited
Talk)},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--3},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785748},
doi = {10.1109/LICS.2019.8785748},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Schweikardt19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SprungerK19,
author = {David Sprunger and
Shin{-}ya Katsumata},
title = {Differentiable Causal Computations via Delayed Trace},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785670},
doi = {10.1109/LICS.2019.8785670},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/SprungerK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ThanhCM19,
author = {C{\'{e}}dric Ho Thanh and
Pierre{-}Louis Curien and
Samuel Mimram},
title = {A Sequent Calculus for Opetopes},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785667},
doi = {10.1109/LICS.2019.8785667},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ThanhCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Unruh19,
author = {Dominique Unruh},
title = {Quantum Hoare Logic with Ghost Variables},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785779},
doi = {10.1109/LICS.2019.8785779},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Unruh19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vilmart19,
author = {Renaud Vilmart},
title = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum
Mechanics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785765},
doi = {10.1109/LICS.2019.8785765},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Vilmart19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Walukiewicz19,
author = {Igor Walukiewicz},
title = {Lambda Y-Calculus With Priorities},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785674},
doi = {10.1109/LICS.2019.8785674},
timestamp = {Sun, 11 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Walukiewicz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZwartM19,
author = {Maaike Zwart and
Dan Marsden},
title = {No-Go Theorems for Distributive Laws},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785707},
doi = {10.1109/LICS.2019.8785707},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ZwartM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2019,
title = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding},
isbn = {978-1-7281-3608-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-20 05:18 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
