![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/lics/lics2015.bht:"
@inproceedings{DBLP:conf/lics/AccattoliC15, author = {Beniamino Accattoli and Claudio Sacerdoti Coen}, title = {On the Relative Usefulness of Fireballs}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {141--155}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.23}, doi = {10.1109/LICS.2015.23}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AccattoliC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AckermanFL15, author = {Nathanael L. Ackerman and Cameron E. Freer and Robert S. Lubarsky}, title = {Feedback Turing Computability, and Turing Computability as Feedback}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {523--534}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.55}, doi = {10.1109/LICS.2015.55}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AckermanFL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AdamekMUM15, author = {Jir{\'{\i}} Ad{\'{a}}mek and Robert S. R. Myers and Henning Urbat and Stefan Milius}, title = {Varieties of Languages in a Category}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {414--425}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.46}, doi = {10.1109/LICS.2015.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AdamekMUM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AmarilliB15, author = {Antoine Amarilli and Michael Benedikt}, title = {Finite Open-World Query Answering with Number Restrictions}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {305--316}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.37}, doi = {10.1109/LICS.2015.37}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AmarilliB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AtseriasB15, author = {Albert Atserias and Jos{\'{e}} L. Balc{\'{a}}zar}, title = {Entailment among Probabilistic Implications}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {621--632}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.63}, doi = {10.1109/LICS.2015.63}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AtseriasB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BaazLR15, author = {Matthias Baaz and Alexander Leitsch and Giselle Reis}, title = {A Note on the Complexity of Classical and Intuitionistic Proofs}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {657--666}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.66}, doi = {10.1109/LICS.2015.66}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BaazLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BallePP15, author = {Borja Balle and Prakash Panangaden and Doina Precup}, title = {A Canonical Form for Weighted Automata and Applications to Approximate Minimization}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {701--712}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.70}, doi = {10.1109/LICS.2015.70}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BallePP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BeckmannP15, author = {Arnold Beckmann and Norbert Preining}, title = {Hyper Natural Deduction}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {547--558}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.57}, doi = {10.1109/LICS.2015.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BeckmannP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BenediktCB15, author = {Michael Benedikt and Balder ten Cate and Michael {Vanden Boom}}, title = {Interpolation with Decidable Fixpoint Logics}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {378--389}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.43}, doi = {10.1109/LICS.2015.43}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BenediktCB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BenediktCCB15, author = {Michael Benedikt and Balder ten Cate and Thomas Colcombet and Michael {Vanden Boom}}, title = {The Complexity of Boundedness for Guarded Logics}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {293--304}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.36}, doi = {10.1109/LICS.2015.36}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BenediktCCB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BienvenuKP15, author = {Meghyn Bienvenu and Stanislav Kikot and Vladimir V. Podolskii}, title = {Tree-like Queries in {OWL} 2 {QL:} Succinctness and Complexity Results}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {317--328}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.38}, doi = {10.1109/LICS.2015.38}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BienvenuKP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BlondinFGHM15, author = {Michael Blondin and Alain Finkel and Stefan G{\"{o}}ller and Christoph Haase and Pierre McKenzie}, title = {Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {32--43}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.14}, doi = {10.1109/LICS.2015.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BlondinFGHM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Bojanczyk15, author = {Mikolaj Bojanczyk}, title = {Star Height via Games}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {214--219}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.29}, doi = {10.1109/LICS.2015.29}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Bojanczyk15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BokerHO15, author = {Udi Boker and Thomas A. Henzinger and Jan Otop}, title = {The Target Discounted-Sum Problem}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {750--761}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.74}, doi = {10.1109/LICS.2015.74}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BokerHO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BozzelliP15, author = {Laura Bozzelli and David Pearce}, title = {On the Complexity of Temporal Equilibrium Logic}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {645--656}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.65}, doi = {10.1109/LICS.2015.65}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BozzelliP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BrazdilKKN15, author = {Tom{\'{a}}s Br{\'{a}}zdil and Stefan Kiefer and Anton{\'{\i}}n Kucera and Petr Novotn{\'{y}}}, title = {Long-Run Average Behaviour of Probabilistic Vector Addition Systems}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {44--55}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.15}, doi = {10.1109/LICS.2015.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BrazdilKKN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BrunetP15, author = {Paul Brunet and Damien Pous}, title = {Petri Automata for Kleene Allegories}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {68--79}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.17}, doi = {10.1109/LICS.2015.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BrunetP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CanavoiGLP15, author = {Felix Canavoi and Erich Gr{\"{a}}del and Simon Le{\ss}enich and Wied Pakusa}, title = {Defining Winning Strategies in Fixed-Point Logic}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {366--377}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.42}, doi = {10.1109/LICS.2015.42}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CanavoiGLP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CarayolS15, author = {Arnaud Carayol and Olivier Serre}, title = {How Good Is a Strategy in a Game with Nature?}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {609--620}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.62}, doi = {10.1109/LICS.2015.62}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CarayolS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Carreiro15, author = {Facundo Carreiro}, title = {{PDL} Is the Bisimulation-Invariant Fragment of Weak Chain Logic}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {341--352}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.40}, doi = {10.1109/LICS.2015.40}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Carreiro15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CarvalhoMM15, author = {Catarina Carvalho and Florent R. Madelaine and Barnaby Martin}, title = {From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the {PGP}}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {462--474}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.50}, doi = {10.1109/LICS.2015.50}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CarvalhoMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CastellanCW15, author = {Simon Castellan and Pierre Clairambault and Glynn Winskel}, title = {The Parallel Intensionally Fully Abstract Games Model of {PCF}}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {232--243}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.31}, doi = {10.1109/LICS.2015.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CastellanCW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ChatterjeeHL15, author = {Krishnendu Chatterjee and Monika Henzinger and Veronika Loitzenbauer}, title = {Improved Algorithms for One-Pair and k-Pair Streett Objectives}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {269--280}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.34}, doi = {10.1109/LICS.2015.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ChatterjeeHL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ChatterjeeHO15, author = {Krishnendu Chatterjee and Thomas A. Henzinger and Jan Otop}, title = {Nested Weighted Automata}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {725--737}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.72}, doi = {10.1109/LICS.2015.72}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ChatterjeeHO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ChatterjeeKK15, author = {Krishnendu Chatterjee and Zuzana Kom{\'{a}}rkov{\'{a}} and Jan Kret{\'{\i}}nsk{\'{y}}}, title = {Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {244--256}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.32}, doi = {10.1109/LICS.2015.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ChatterjeeKK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ClementeL15, author = {Lorenzo Clemente and Slawomir Lasota}, title = {Timed Pushdown Automata Revisited}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {738--749}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.73}, doi = {10.1109/LICS.2015.73}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ClementeL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ClementeR15, author = {Lorenzo Clemente and Jean{-}Fran{\c{c}}ois Raskin}, title = {Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {257--268}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.33}, doi = {10.1109/LICS.2015.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ClementeR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CrubilleL15, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, title = {Metric Reasoning about {\(\lambda\)}-Terms: The Affine Case}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {633--644}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.64}, doi = {10.1109/LICS.2015.64}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CrubilleL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CzerwinskiJ15, author = {Wojciech Czerwinski and Petr Jancar}, title = {Branching Bisimilarity of Normed {BPA} Processes Is in {NEXPTIME}}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {168--179}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.25}, doi = {10.1109/LICS.2015.25}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/CzerwinskiJ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DalmauEHLR15, author = {V{\'{\i}}ctor Dalmau and L{\'{a}}szl{\'{o}} Egri and Pavol Hell and Beno{\^{\i}}t Larose and Arash Rafiey}, title = {Descriptive Complexity of List H-Coloring Problems in Logspace: {A} Refined Dichotomy}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {487--498}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.52}, doi = {10.1109/LICS.2015.52}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/DalmauEHLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DasR15, author = {Anupam Das and Colin Riba}, title = {A Complete Axiomatization of {MSO} on Infinite Trees}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {390--401}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.44}, doi = {10.1109/LICS.2015.44}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/DasR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DisneyF15, author = {Tim Disney and Cormac Flanagan}, title = {Game Semantics for Type Soundness}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {104--114}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.20}, doi = {10.1109/LICS.2015.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/DisneyF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat15, author = {Abbas Edalat}, title = {Extensions of Domain Maps in Differential and Integral Calculus}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {426--437}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.47}, doi = {10.1109/LICS.2015.47}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EndrullisGH15, author = {J{\"{o}}rg Endrullis and Clemens Grabmayer and Dimitri Hendriks}, title = {Regularity Preserving but Not Reflecting Encodings}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {535--546}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.56}, doi = {10.1109/LICS.2015.56}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EndrullisGH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EnqvistSV15, author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema}, title = {Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {353--365}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.41}, doi = {10.1109/LICS.2015.41}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EnqvistSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/FigueiraL15, author = {Diego Figueira and Leonid Libkin}, title = {Path Logics for Querying Graphs: Combining Expressiveness and Efficiency}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {329--340}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.39}, doi = {10.1109/LICS.2015.39}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/FigueiraL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/GasconTS15, author = {Adri{\`{a}} Gasc{\'{o}}n and Ashish Tiwari and Manfred Schmidt{-}Schau{\ss}}, title = {One Context Unification Problems Solvable in Polynomial Time}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {499--510}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.53}, doi = {10.1109/LICS.2015.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/GasconTS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/GogaczM15, author = {Tomasz Gogacz and Jerzy Marcinkowski}, title = {The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {281--292}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.35}, doi = {10.1109/LICS.2015.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/GogaczM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/GradelPSK15, author = {Erich Gr{\"{a}}del and Wied Pakusa and Svenja Schalth{\"{o}}fer and Lukasz Kaiser}, title = {Characterising Choiceless Polynomial Time with First-Order Interpretations}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {677--688}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.68}, doi = {10.1109/LICS.2015.68}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/GradelPSK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/HackettH15, author = {Jennifer Hackett and Graham Hutton}, title = {Programs for Cheap!}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {115--126}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.21}, doi = {10.1109/LICS.2015.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/HackettH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Hadzihasanovic15, author = {Amar Hadzihasanovic}, title = {A Diagrammatic Axiomatisation for Qubit Entanglement}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {573--584}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.59}, doi = {10.1109/LICS.2015.59}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Hadzihasanovic15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/HeH15, author = {Chaodong He and Mingzhang Huang}, title = {Branching Bisimilarity on Normed {BPA} Is EXPTIME-Complete}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {180--191}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.26}, doi = {10.1109/LICS.2015.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/HeH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/HeijltjesH15, author = {Willem Heijltjes and Dominic J. D. Hughes}, title = {Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {80--91}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.18}, doi = {10.1109/LICS.2015.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/HeijltjesH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/HeunenL15, author = {Chris Heunen and Bert Lindenhovius}, title = {Domains of Commutative C-Subalgebras}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {450--461}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.49}, doi = {10.1109/LICS.2015.49}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/HeunenL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Kifer15, author = {Daniel Kifer}, title = {Privacy and the Price of Data}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {16}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.10}, doi = {10.1109/LICS.2015.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Kifer15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KlinKOT15, author = {Bartek Klin and Eryk Kopczynski and Joanna Ochremiak and Szymon Torunczyk}, title = {Locally Finite Constraint Satisfaction Problems}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {475--486}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.51}, doi = {10.1109/LICS.2015.51}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KlinKOT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KobayashiL15, author = {Naoki Kobayashi and Xin Li}, title = {Automata-Based Abstraction Refinement for {\(\mathrm{\mu}\)}HORS Model Checking}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {713--724}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.71}, doi = {10.1109/LICS.2015.71}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KobayashiL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KotekSVZ15, author = {Tomer Kotek and Mantas Simkus and Helmut Veith and Florian Zuleger}, title = {Extending {ALCQIO} with Trees}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {511--522}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.54}, doi = {10.1109/LICS.2015.54}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KotekSVZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KrebsV15, author = {Andreas Krebs and Oleg Verbitsky}, title = {Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {689--700}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.69}, doi = {10.1109/LICS.2015.69}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KrebsV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LagoFVY15, author = {Ugo Dal Lago and Claudia Faggian and Beno{\^{\i}}t Valiron and Akira Yoshimizu}, title = {Parallelism and Synchronization in an Infinitary Context}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {559--572}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.58}, doi = {10.1109/LICS.2015.58}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LagoFVY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LechnerOW15, author = {Antonia Lechner and Jo{\"{e}}l Ouaknine and James Worrell}, title = {On the Complexity of Linear Arithmetic with Divisibility}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {667--676}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.67}, doi = {10.1109/LICS.2015.67}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LechnerOW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LerouxS15, author = {J{\'{e}}r{\^{o}}me Leroux and Sylvain Schmitz}, title = {Demystifying Reachability in Vector Addition Systems}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {56--67}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.16}, doi = {10.1109/LICS.2015.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LerouxS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LicataB15, author = {Daniel R. Licata and Guillaume Brunerie}, title = {A Cubical Approach to Synthetic Homotopy Theory}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {92--103}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.19}, doi = {10.1109/LICS.2015.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LicataB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/MaillardM15, author = {Kenji Maillard and Paul{-}Andr{\'{e}} Melli{\`{e}}s}, title = {A Fibrational Account of Local States}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {402--413}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.45}, doi = {10.1109/LICS.2015.45}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/MaillardM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/McIverMR15, author = {Annabelle McIver and Carroll Morgan and Tahiry M. Rabehaja}, title = {Abstract Hidden Markov Models: {A} Monadic Account of Quantitative Information Flow}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {597--608}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.61}, doi = {10.1109/LICS.2015.61}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/McIverMR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/MoninN15, author = {Benoit Monin and Andr{\'{e}} Nies}, title = {A Unifying Approach to the Gamma Question}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {585--596}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.60}, doi = {10.1109/LICS.2015.60}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/MoninN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Munch-Maccagnoni15, author = {Guillaume Munch{-}Maccagnoni and Gabriel Scherer}, title = {Polarised Intermediate Representation of Lambda Calculus with Sums}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {127--140}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.22}, doi = {10.1109/LICS.2015.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Munch-Maccagnoni15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/MurawskiRT15, author = {Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos}, title = {Bisimilarity in Fresh-Register Automata}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {156--167}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.24}, doi = {10.1109/LICS.2015.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/MurawskiRT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/OHearn15, author = {Peter W. O'Hearn}, title = {From Categorical Logic to Facebook Engineering}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {17--20}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.11}, doi = {10.1109/LICS.2015.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/OHearn15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Ong15, author = {Luke Ong}, title = {Higher-Order Model Checking: An Overview}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {1--15}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.9}, doi = {10.1109/LICS.2015.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Ong15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/PaulyB15, author = {Arno Pauly and Matthew de Brecht}, title = {Descriptive Set Theory in the Category of Represented Spaces}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {438--449}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.48}, doi = {10.1109/LICS.2015.48}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/PaulyB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Pitts15, author = {Andrew M. Pitts}, title = {Names and Symmetry in Computer Science (Invited Tutorial)}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {21--22}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.12}, doi = {10.1109/LICS.2015.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Pitts15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Place15, author = {Thomas Place}, title = {Separating Regular Languages with Two Quantifiers Alternations}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {202--213}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.28}, doi = {10.1109/LICS.2015.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Place15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Reiter15, author = {Fabian Reiter}, title = {Distributed Graph Automata}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {192--201}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.27}, doi = {10.1109/LICS.2015.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Reiter15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Smith15, author = {Geoffrey Smith}, title = {Recent Developments in Quantitative Information Flow (Invited Tutorial)}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {23--31}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.13}, doi = {10.1109/LICS.2015.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Smith15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/TsukadaO15, author = {Takeshi Tsukada and C.{-}H. Luke Ong}, title = {Nondeterminism in Game Semantics via Sheaves}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {220--231}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.30}, doi = {10.1109/LICS.2015.30}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/TsukadaO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lics/2015, title = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7174833/proceeding}, isbn = {978-1-4799-8875-4}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.