Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lics/lics2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/lics/0001VW16,
author = {Thomas Sturm and
Marco Voigt and
Christoph Weidenbach},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Deciding First-Order Satisfiability when Universal and Existential
Variables are Separated},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {86--95},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934532},
doi = {10.1145/2933575.2934532},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0001VW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbdullaAA16,
author = {Parosh Aziz Abdulla and
C. Aiswarya and
Mohamed Faouzi Atig},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Data Communicating Processes with Unreliable Channels},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {166--175},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934535},
doi = {10.1145/2933575.2934535},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbdullaAA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AtigCHKSZ16,
author = {Mohamed Faouzi Atig and
Dmitry Chistikov and
Piotr Hofman and
K. Narayan Kumar and
Prakash Saivasan and
Georg Zetzsche},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The complexity of regular abstractions of one-counter languages},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {207--216},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934561},
doi = {10.1145/2933575.2934561},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AtigCHKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartheGGHS16,
author = {Gilles Barthe and
Marco Gaboardi and
Benjamin Gr{\'{e}}goire and
Justin Hsu and
Pierre{-}Yves Strub},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Proving Differential Privacy via Probabilistic Couplings},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {749--758},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934554},
doi = {10.1145/2933575.2934554},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BartheGGHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartoP16,
author = {Libor Barto and
Michael Pinsker},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The algebraic dichotomy conjecture for infinite domain Constraint
Satisfaction Problems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {615--622},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934544},
doi = {10.1145/2933575.2934544},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BartoP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BasoldG16,
author = {Henning Basold and
Herman Geuvers},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Type Theory based on Dependent Inductive and Coinductive Types},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {327--336},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934514},
doi = {10.1145/2933575.2934514},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BasoldG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BehrDG16,
author = {Nicolas Behr and
Vincent Danos and
Ilias Garnier},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Stochastic mechanics of graph rewriting},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {46--55},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934537},
doi = {10.1145/2933575.2934537},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BehrDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktBB16,
author = {Michael Benedikt and
Pierre Bourhis and
Michael {Vanden Boom}},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A Step Up in Expressiveness of Decidable Fixpoint Logics},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {817--826},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933592},
doi = {10.1145/2933575.2933592},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BenediktBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktBCP16,
author = {Michael Benedikt and
Pierre Bourhis and
Balder ten Cate and
Gabriele Puppis},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Querying Visible and Invisible Information},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {297--306},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935306},
doi = {10.1145/2933575.2935306},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BenediktBCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BerkholzN16,
author = {Christoph Berkholz and
Jakob Nordstr{\"{o}}m},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman
Refinement Steps},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {267--276},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934560},
doi = {10.1145/2933575.2934560},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BerkholzN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BeyersdorffP16,
author = {Olaf Beyersdorff and
J{\'{a}}n Pich},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Understanding Gentzen and Frege Systems for {QBF}},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {146--155},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933597},
doi = {10.1145/2933575.2933597},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BeyersdorffP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Blot16,
author = {Valentin Blot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Hybrid realizability for intuitionistic and classical choice},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {575--584},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934511},
doi = {10.1145/2933575.2934511},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Blot16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BodirskyM16,
author = {Manuel Bodirsky and
Antoine Mottet},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Reducts of finitely bounded homogeneous structures, and lifting tractability
from finite-domain constraint satisfaction},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {623--632},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934515},
doi = {10.1145/2933575.2934515},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BodirskyM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykP16,
author = {Mikolaj Bojanczyk and
Michal Pilipczuk},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Definability equals recognizability for graphs of bounded treewidth},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {407--416},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934508},
doi = {10.1145/2933575.2934508},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BojanczykP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGKSZ16,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Rewriting modulo symmetric monoidal structure},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {710--719},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935316},
doi = {10.1145/2933575.2935316},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Bulatov16,
author = {Andrei A. Bulatov},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Graphs of relational structures: restricted types},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {642--651},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933604},
doi = {10.1145/2933575.2933604},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Bulatov16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CarayolLS16,
author = {Arnaud Carayol and
Christof L{\"{o}}ding and
Olivier Serre},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Automata on Infinite Trees with Equality and Disequality Constraints
Between Siblings},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {227--236},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934504},
doi = {10.1145/2933575.2934504},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CarayolLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CardelliTTV16,
author = {Luca Cardelli and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Comparing Chemical Reaction Networks: {A} Categorical and Algorithmic
Perspective},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {485--494},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935318},
doi = {10.1145/2933575.2935318},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CardelliTTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChakrabortyK16,
author = {Souymodip Chakraborty and
Joost{-}Pieter Katoen},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {On the Satisfiability of Some Simple Probabilistic Logics},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {56--65},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934526},
doi = {10.1145/2933575.2934526},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ChakrabortyK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Chatterjee016,
author = {Krishnendu Chatterjee and
Laurent Doyen},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Perfect-Information Stochastic Games with Generalized Mean-Payoff
Objectives},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {247--256},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934513},
doi = {10.1145/2933575.2934513},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Chatterjee016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChatterjeeDHL16,
author = {Krishnendu Chatterjee and
Wolfgang Dvor{\'{a}}k and
Monika Henzinger and
Veronika Loitzenbauer},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Model and Objective Separation with Conditional Lower Bounds: Disjunction
is Harder than Conjunction},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {197--206},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935304},
doi = {10.1145/2933575.2935304},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChatterjeeDHL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChatterjeeHO16,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Jan Otop},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Quantitative Automata under Probabilistic Semantics},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {76--85},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933588},
doi = {10.1145/2933575.2933588},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ChatterjeeHO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChonevOW16,
author = {Ventsislav Chonev and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {On Recurrent Reachability for Continuous Linear Dynamical Systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {515--524},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934548},
doi = {10.1145/2933575.2934548},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ChonevOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ClementePSW16,
author = {Lorenzo Clemente and
Pawel Parys and
Sylvain Salvati and
Igor Walukiewicz},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {96--105},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934527},
doi = {10.1145/2933575.2934527},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ClementePSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ColcombetG16,
author = {Thomas Colcombet and
Stefan G{\"{o}}ller},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Games with bound guess actions},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {257--266},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934502},
doi = {10.1145/2933575.2934502},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ColcombetG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CooperZ16,
author = {Martin C. Cooper and
Stanislav Zivn{\'{y}}},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The Power of Arc Consistency for CSPs Defined by Partially-Ordered
Forbidden Patterns},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {652--661},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933587},
doi = {10.1145/2933575.2933587},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CooperZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DAntoniV16,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Minimization of Symbolic Tree Automata},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {873--882},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933578},
doi = {10.1145/2933575.2933578},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DAntoniV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
author = {Emanuele D'Osualdo and
Roland Meyer and
Georg Zetzsche},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {First-order logic with reachability for infinite-state systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {457--466},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934552},
doi = {10.1145/2933575.2934552},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DOsualdoMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Two-Way Visibly Pushdown Automata and Transducers},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {217--226},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935315},
doi = {10.1145/2933575.2935315},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Das16,
author = {Anupam Das},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {From positive and intuitionistic bounded arithmetic to monotone proof
complexity},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {126--135},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934570},
doi = {10.1145/2933575.2934570},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Das16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DaviaudRT16,
author = {Laure Daviaud and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A Generalised Twinning Property for Minimisation of Cost Register
Automata},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {857--866},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934549},
doi = {10.1145/2933575.2934549},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DaviaudRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DomingosLKNPRS16,
author = {Pedro M. Domingos and
Daniel Lowd and
Stanley Kok and
Aniruddh Nath and
Hoifung Poon and
Matthew Richardson and
Parag Singla},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Unifying Logical and Statistical {AI}},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {1--11},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935321},
doi = {10.1145/2933575.2935321},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DomingosLKNPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DongolH16,
author = {Brijesh Dongol and
Robert M. Hierons},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Decidability and Complexity for Quiescent Consistency},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {116--125},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933576},
doi = {10.1145/2933575.2933576},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DongolH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DoumaneBHS16,
author = {Amina Doumane and
David Baelde and
Lucca Hirschi and
Alexis Saurin},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Towards Completeness via Proof Search in the Linear Time {\(\mu\)}-calculus:
The case of B{\"{u}}chi inclusions},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {377--386},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933598},
doi = {10.1145/2933575.2933598},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DoumaneBHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DuncanD16,
author = {Ross Duncan and
Kevin Dunne},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Interacting Frobenius Algebras are Hopf},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {535--544},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934550},
doi = {10.1145/2933575.2934550},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DuncanD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ElberfeldFG16,
author = {Michael Elberfeld and
Marlin Frickenschmidt and
Martin Grohe},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Order Invariance on Decomposable Structures},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {397--406},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934517},
doi = {10.1145/2933575.2934517},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ElberfeldFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EnglertLT16,
author = {Matthias Englert and
Ranko Lazic and
Patrick Totzke},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Reachability in Two-Dimensional Unary Vector Addition Systems with
States is NL-Complete},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {477--484},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933577},
doi = {10.1145/2933575.2933577},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EnglertLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FarzanKP16,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Proving Liveness of Parameterized Programs},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {185--196},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935310},
doi = {10.1145/2933575.2935310},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FarzanKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FavoniaFLL16,
author = {Kuen{-}Bang Hou (Favonia) and
Eric Finster and
Daniel R. Licata and
Peter LeFanu Lumsdaine},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy
Type Theory},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {565--574},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934545},
doi = {10.1145/2933575.2934545},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FavoniaFLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Figueira16,
author = {Diego Figueira},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Semantically Acyclic Conjunctive Queries under Functional Dependencies},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {847--856},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933580},
doi = {10.1145/2933575.2933580},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Figueira16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotGL16,
author = {Emmanuel Filiot and
Olivier Gauwin and
Nathan Lhote},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {First-order definability of rational transductions: An algebraic approach},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {387--396},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934520},
doi = {10.1145/2933575.2934520},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FiliotGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FokkinkG16,
author = {Wan J. Fokkink and
Rob J. van Glabbeek},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Divide and Congruence {II:} Delay and Weak Bisimilarity},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {778--787},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933590},
doi = {10.1145/2933575.2933590},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FokkinkG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FongSR16,
author = {Brendan Fong and
Pawel Sobocinski and
Paolo Rapisarda},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A categorical approach to open and interconnected dynamical systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {495--504},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934556},
doi = {10.1145/2933575.2934556},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FongSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GajarskyHOLR16,
author = {Jakub Gajarsk{\'{y}} and
Petr Hlinen{\'{y}} and
Jan Obdrz{\'{a}}lek and
Daniel Lokshtanov and
M. S. Ramanujan},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A New Perspective on {FO} Model Checking of Dense Graph Classes},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {176--184},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935314},
doi = {10.1145/2933575.2935314},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GajarskyHOLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Galicki16,
author = {Alex Galicki},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Effective Brenier Theorem: Applications to Computable Analysis and
Algorithmic Randomness},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {720--729},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933596},
doi = {10.1145/2933575.2933596},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Galicki16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Gehrke16,
author = {Mai Gehrke},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Duality in Computer Science},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {12--26},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934575},
doi = {10.1145/2933575.2934575},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Gehrke16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhilardiG16,
author = {Silvio Ghilardi and
Sam van Gool},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Monadic second order logic as the model companion of temporal logic},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {417--426},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933609},
doi = {10.1145/2933575.2933609},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GhilardiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeimbergKS16,
author = {Lucas Heimberg and
Dietrich Kuske and
Nicole Schweikardt},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Hanf normal form for first-order logic with unary counting quantifiers},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {277--286},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934571},
doi = {10.1145/2933575.2934571},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HeimbergKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HerlihyM16,
author = {Maurice Herlihy and
Mark Moir},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Blockchains and the Logic of Accountability: Keynote Address},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {27--30},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934579},
doi = {10.1145/2933575.2934579},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HerlihyM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HinoKH016,
author = {Wataru Hino and
Hiroki Kobayashi and
Ichiro Hasuo and
Bart Jacobs},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Healthiness from Duality},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {682--691},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935319},
doi = {10.1145/2933575.2935319},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HinoKH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HughesH16,
author = {Dominic J. D. Hughes and
Willem Heijltjes},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Conflict nets: Efficient locally canonical {MALL} proof nets},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {437--446},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934559},
doi = {10.1145/2933575.2934559},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HughesH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JaberLPST16,
author = {Guilhem Jaber and
Gabriel Lewertowski and
Pierre{-}Marie P{\'{e}}drot and
Matthieu Sozeau and
Nicolas Tabareau},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The Definitional Side of the Forcing},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {367--376},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935320},
doi = {10.1145/2933575.2935320},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JaberLPST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JaberT16,
author = {Guilhem Jaber and
Nikos Tzevelekos},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Trace semantics for polymorphic references},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {585--594},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934509},
doi = {10.1145/2933575.2934509},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JaberT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeffreyR16,
author = {Alan Jeffrey and
James Riely},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {On Thin Air Reads Towards an Event Structures Model of Relaxed Memory},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {759--767},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934536},
doi = {10.1145/2933575.2934536},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JeffreyR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Katoen16,
author = {Joost{-}Pieter Katoen},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The Probabilistic Model Checking Landscape},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {31--45},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934574},
doi = {10.1145/2933575.2934574},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Katoen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KawamuraS016,
author = {Akitoshi Kawamura and
Florian Steinberg and
Martin Ziegler},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Complexity Theory of (Functions on) Compact Metric Spaces},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {837--846},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935311},
doi = {10.1145/2933575.2935311},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KawamuraS016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Khoussainov16,
author = {Bakh Khoussainov},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Quantifier Free Definability on Infinite Algebras},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {730--738},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934572},
doi = {10.1145/2933575.2934572},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Khoussainov16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieferS16,
author = {Stefan Kiefer and
A. Prasad Sistla},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Distinguishing Hidden Markov Chains},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {66--75},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933608},
doi = {10.1145/2933575.2933608},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KieferS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieferS16a,
author = {Sandra Kiefer and
Pascal Schweitzer},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Upper Bounds on the Quantifier Depth for Graph Differentiation in
First Order Logic},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {287--296},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933595},
doi = {10.1145/2933575.2933595},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KieferS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KolodziejczykM16,
author = {Leszek Aleksander Kolodziejczyk and
Henryk Michalewski},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {How unprovable is Rabin's decidability theorem?},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {788--797},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934543},
doi = {10.1145/2933575.2934543},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KolodziejczykM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kopczynski16,
author = {Eryk Kopczynski},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Invisible Pushdown Languages},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {867--872},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933579},
doi = {10.1145/2933575.2933579},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Kopczynski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozen16,
author = {Dexter Kozen},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Kolmogorov Extension, Martingale Convergence, and Compositionality
of Processes},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {692--699},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933610},
doi = {10.1145/2933575.2933610},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Kozen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kozik16,
author = {Marcin Kozik},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Weak consistency notions for all the CSPs of bounded width},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {633--641},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934510},
doi = {10.1145/2933575.2934510},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Kozik16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kraus16,
author = {Nicolai Kraus},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Constructions with Non-Recursive Higher Inductive Types},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {595--604},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933586},
doi = {10.1145/2933575.2933586},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Kraus16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KrebsLPS16,
author = {Andreas Krebs and
Kamal Lodaya and
Paritosh K. Pandya and
Howard Straubing},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Two-variable Logic with a Between Relation},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {106--115},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935308},
doi = {10.1145/2933575.2935308},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KrebsLPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Lago16,
author = {Ugo Dal Lago},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Infinitary Lambda Calculi from a Linear Perspective},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {447--456},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934505},
doi = {10.1145/2933575.2934505},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Lago16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Laird16,
author = {James Laird},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Fixed Points In Quantitative Semantics},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {347--356},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934569},
doi = {10.1145/2933575.2934569},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Laird16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LazicS16,
author = {Ranko Lazic and
Sylvain Schmitz},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The Complexity of Coverability in {\(\nu\)}-Petri Nets},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {467--476},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933593},
doi = {10.1145/2933575.2933593},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LazicS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Lempiainen16,
author = {Tuomo Lempi{\"{a}}inen},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Ability to Count Messages Is Worth {\(\Theta\)}({\(\Delta\)}) Rounds
in Distributed Computing},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {357--366},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934567},
doi = {10.1145/2933575.2934567},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Lempiainen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Liang16,
author = {Chuck C. Liang},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Unified Semantics and Proof System for Classical, Intuitionistic and
Affine Logics},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {156--165},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933581},
doi = {10.1145/2933575.2933581},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Liang16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LoosP16,
author = {Sarah M. Loos and
Andr{\'{e}} Platzer},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Differential Refinement Logic},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {505--514},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934555},
doi = {10.1145/2933575.2934555},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LoosP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MardarePP16,
author = {Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Quantitative Algebraic Reasoning},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {700--709},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934518},
doi = {10.1145/2933575.2934518},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MardarePP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Mazza16,
author = {Damiano Mazza},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Church Meets Cook and Levin},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {827--836},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934541},
doi = {10.1145/2933575.2934541},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Mazza16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MelliesZ16,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Noam Zeilberger},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {555--564},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934525},
doi = {10.1145/2933575.2934525},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MelliesZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MogelbergP16,
author = {Rasmus Ejlers M{\o}gelberg and
Marco Paviotti},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Denotational semantics of recursive types in synthetic guarded domain
theory},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {317--326},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934516},
doi = {10.1145/2933575.2934516},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MogelbergP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/OlmedoKKM16,
author = {Federico Olmedo and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Christoph Matheja},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Reasoning about Recursive Probabilistic Programs},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {672--681},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935317},
doi = {10.1145/2933575.2935317},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/OlmedoKKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/OuakninePPW16,
author = {Jo{\"{e}}l Ouaknine and
Amaury Pouly and
Jo{\~{a}}o Sousa Pinto and
James Worrell},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Solvability of Matrix-Exponential Equations},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {798--806},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934538},
doi = {10.1145/2933575.2934538},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/OuakninePPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PattinsonS16,
author = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Program Equivalence is Coinductive},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {337--346},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934506},
doi = {10.1145/2933575.2934506},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PattinsonS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Petrakis16,
author = {Iosif Petrakis},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A constructive function-theoretic approach to topological compactness},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {605--614},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933582},
doi = {10.1145/2933575.2933582},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Petrakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pous16,
author = {Damien Pous},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Coinduction All the Way Up},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {307--316},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934564},
doi = {10.1145/2933575.2934564},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Pous16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Powell16,
author = {Thomas Powell},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {G{\"{o}}del's functional interpretation and the concept of learning},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {136--145},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933605},
doi = {10.1145/2933575.2933605},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Powell16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PreoteasaT16,
author = {Viorel Preoteasa and
Stavros Tripakis},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive
Systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {768--777},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934503},
doi = {10.1145/2933575.2934503},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PreoteasaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SalibraMF16,
author = {Antonino Salibra and
Giulio Manzonetto and
Giordano Favro},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Factor Varieties and Symbolic Computation},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {739--748},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933600},
doi = {10.1145/2933575.2933600},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/SalibraMF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Seiller16,
author = {Thomas Seiller},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Interaction Graphs: Full Linear Logic},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {427--436},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934568},
doi = {10.1145/2933575.2934568},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Seiller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/StatonYWHK16,
author = {Sam Staton and
Hongseok Yang and
Frank D. Wood and
Chris Heunen and
Ohad Kammar},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Semantics for probabilistic programming: higher-order functions, continuous
distributions, and soft constraints},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {525--534},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935313},
doi = {10.1145/2933575.2935313},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/StatonYWHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/TsukadaO16,
author = {Takeshi Tsukada and
C.{-}H. Luke Ong},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Plays as Resource Terms via Non-idempotent Intersection Types},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {237--246},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934553},
doi = {10.1145/2933575.2934553},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/TsukadaO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Uramoto16,
author = {Takeo Uramoto},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Semi-galois Categories {I:} The Classical Eilenberg Variety Theory},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {545--554},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934528},
doi = {10.1145/2933575.2934528},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Uramoto16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vester16,
author = {Steen Vester},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Winning Cores in Parity Games},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {662--671},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933589},
doi = {10.1145/2933575.2933589},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Vester16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZeumeH16,
author = {Thomas Zeume and
Frederik Harwath},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Order-Invariance of Two-Variable Logic is Decidable},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {807--816},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933594},
doi = {10.1145/2933575.2933594},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ZeumeH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575},
doi = {10.1145/2933575},
isbn = {978-1-4503-4391-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 04:21 CEST 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:
