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/lics2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/lics/Abadi10,
author = {Mart{\'{\i}}n Abadi},
title = {The Fine Print of Security},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {110},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.9},
doi = {10.1109/LICS.2010.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Abadi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Abramsky10,
author = {Samson Abramsky},
title = {Coalgebras, Chu Spaces, and Representations of Physical Systems},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {411--420},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.35},
doi = {10.1109/LICS.2010.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Abramsky10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
title = {Probabilistic Information Flow},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {314--321},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.53},
doi = {10.1109/LICS.2010.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AvronAZ10,
author = {Arnon Avron and
Ofer Arieli and
Anna Zamansky},
title = {On Strong Maximality of Paraconsistent Finite-Valued Logics},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {304--313},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.20},
doi = {10.1109/LICS.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AvronAZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BaranyGO10,
author = {Vince B{\'{a}}r{\'{a}}ny and
Georg Gottlob and
Martin Otto},
title = {Querying the Guarded Fragment},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.26},
doi = {10.1109/LICS.2010.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BaranyGO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BargunoCGJV10,
author = {Luis Bargu{\~{n}}{\'{o}} and
Carles Creus and
Guillem Godoy and
Florent Jacquemard and
Camille Vacher},
title = {The Emptiness Problem for Tree Automata with Global Constraints},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {263--272},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.28},
doi = {10.1109/LICS.2010.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BargunoCGJV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartoK10,
author = {Libor Barto and
Marcin Kozik},
title = {New Conditions for Taylor Varieties and {CSP}},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.34},
doi = {10.1109/LICS.2010.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BartoK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartolettiZ10,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {A Calculus of Contracting Processes},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {332--341},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.25},
doi = {10.1109/LICS.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BartolettiZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BasaldellaT10,
author = {Michele Basaldella and
Kazushige Terui},
title = {Infinitary Completeness in Ludics},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {294--303},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.47},
doi = {10.1109/LICS.2010.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BasaldellaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BodirskyHM10,
author = {Manuel Bodirsky and
Martin Hils and
Barnaby Martin},
title = {On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.13},
doi = {10.1109/LICS.2010.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BodirskyHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykL10,
author = {Mikolaj Bojanczyk and
Slawomir Lasota},
title = {An Extension of Data Automata that Captures XPath},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.33},
doi = {10.1109/LICS.2010.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BroadbentCOS10,
author = {Christopher H. Broadbent and
Arnaud Carayol and
C.{-}H. Luke Ong and
Olivier Serre},
title = {Recursion Schemes and Logical Reflection},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.40},
doi = {10.1109/LICS.2010.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BroadbentCOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrotherstonK10,
author = {James Brotherston and
Max I. Kanovich},
title = {Undecidability of Propositional Separation Logic and Its Neighbours},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.24},
doi = {10.1109/LICS.2010.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrotherstonK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CaliGLMP10,
author = {Andrea Cal{\`{\i}} and
Georg Gottlob and
Thomas Lukasiewicz and
Bruno Marnette and
Andreas Pieris},
title = {Datalog+/-: {A} Family of Logical Knowledge Representation and Query
Languages for New Applications},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {228--242},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.27},
doi = {10.1109/LICS.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CaliGLMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ColcombetL10,
author = {Thomas Colcombet and
Christof L{\"{o}}ding},
title = {Regular Cost Functions over Finite Trees},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.36},
doi = {10.1109/LICS.2010.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ColcombetL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanosFFHK10,
author = {Vincent Danos and
J{\'{e}}r{\^{o}}me Feret and
Walter Fontana and
Russell Harmer and
Jean Krivine},
title = {Abstracting the Differential Semantics of Rule-Based Models: Exact
and Automated Model Reduction},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {362--381},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.44},
doi = {10.1109/LICS.2010.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DanosFFHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Ehrhard10,
author = {Thomas Ehrhard},
title = {A Finiteness Structure on Resource Terms},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {402--410},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.38},
doi = {10.1109/LICS.2010.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Ehrhard10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EisentrautHZ10,
author = {Christian Eisentraut and
Holger Hermanns and
Lijun Zhang},
title = {On Probabilistic Automata in Continuous Time},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {342--351},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.41},
doi = {10.1109/LICS.2010.41},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/EisentrautHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EndrullisHK10,
author = {J{\"{o}}rg Endrullis and
Dimitri Hendriks and
Jan Willem Klop},
title = {Modular Construction of Fixed Point Combinators and Clocked Bohm Trees},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {111--119},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.8},
doi = {10.1109/LICS.2010.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EndrullisHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-Larrecq10,
author = {Jean Goubault{-}Larrecq},
title = {omega-QRB-Domains and the Probabilistic Powerdomain},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {352--361},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.50},
doi = {10.1109/LICS.2010.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goubault-Larrecq10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe10,
author = {Martin Grohe},
title = {Fixed-Point Definability and Polynomial Time on Graphs with Excluded
Minors},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.22},
doi = {10.1109/LICS.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Grohe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GuglielmiGS10,
author = {Alessio Guglielmi and
Tom Gundersen and
Lutz Stra{\ss}burger},
title = {Breaking Paths in Atomic Flows for Classical Logic},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {284--293},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.12},
doi = {10.1109/LICS.2010.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GuglielmiGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Harel10,
author = {David Harel},
title = {Amir Pnueli: {A} Gentle Giant, Lord of the Phi's and the Psi's},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {57},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.54},
doi = {10.1109/LICS.2010.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Harel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/He10,
author = {Yuguo He},
title = {On the Strictness of the First-Order Quantifier Structure Hierarchy
over Finite Structures},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {170--178},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.43},
doi = {10.1109/LICS.2010.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/He10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Herbelin10,
author = {Hugo Herbelin},
title = {An Intuitionistic Logic that Proves Markov's Principle},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {50--56},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.49},
doi = {10.1109/LICS.2010.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Herbelin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JenkinsORW10,
author = {Mark Jenkins and
Jo{\"{e}}l Ouaknine and
Alexander Rabinovich and
James Worrell},
title = {Alternating Timed Automata over Bounded Time},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.45},
doi = {10.1109/LICS.2010.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JenkinsORW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohannSV10,
author = {Patricia Johann and
Alex Simpson and
Janis Voigtl{\"{a}}nder},
title = {A Generic Operational Metatheory for Algebraic Effects},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {209--218},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.29},
doi = {10.1109/LICS.2010.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JohannSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohanssonBPV10,
author = {Magnus Johansson and
Jesper Bengtson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Weak Equivalences in Psi-Calculi},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.30},
doi = {10.1109/LICS.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JohanssonBPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KopczynskiT10,
author = {Eryk Kopczynski and
Anthony Widjaja To},
title = {Parikh Images of Grammars: Complexity and Applications},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.21},
doi = {10.1109/LICS.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KopczynskiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KreutzerT10,
author = {Stephan Kreutzer and
Siamak Tazari},
title = {Lower Bounds for the Complexity of Monadic Second-Order Logic},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.39},
doi = {10.1109/LICS.2010.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KreutzerT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KuskeLL10,
author = {Dietrich Kuske and
Jiamou Liu and
Markus Lohrey},
title = {The Isomorphism Problem on Classes of Automatic Structures},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {160--169},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.10},
doi = {10.1109/LICS.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KuskeLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Laird10,
author = {James Laird},
title = {Game Semantics for a Polymorphic Programming Language},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {41--49},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.32},
doi = {10.1109/LICS.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Laird10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LaneveV10,
author = {Cosimo Laneve and
Antonio Vitale},
title = {The Expressive Power of Synchronizations},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {382--391},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.15},
doi = {10.1109/LICS.2010.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LaneveV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Larchey-WendlingG10,
author = {Dominique Larchey{-}Wendling and
Didier Galmiche},
title = {The Undecidability of Boolean {BI} through Phase Semantics},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.18},
doi = {10.1109/LICS.2010.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Larchey-WendlingG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Laubner10,
author = {Bastian Laubner},
title = {Capturing Polynomial Time on Interval Graphs},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.42},
doi = {10.1109/LICS.2010.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Laubner10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Mellies10,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
title = {Segal Condition Meets Computational Effects},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.46},
doi = {10.1109/LICS.2010.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Mellies10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Milius10,
author = {Stefan Milius},
title = {A Sound and Complete Calculus for Finite Stream Circuits},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {421--430},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.11},
doi = {10.1109/LICS.2010.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Milius10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Moore10,
author = {J Strother Moore},
title = {Theorem Proving for Verification: The Early Days},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {283},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.55},
doi = {10.1109/LICS.2010.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Moore10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Otto10,
author = {Martin Otto},
title = {Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.14},
doi = {10.1109/LICS.2010.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Otto10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PlaceS10,
author = {Thomas Place and
Luc Segoufin},
title = {Deciding Definability in FO\({}_{\mbox{2}}\)({\textless}) (or XPath)
on Trees},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {253--262},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.17},
doi = {10.1109/LICS.2010.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PlaceS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Plotkin10,
author = {Gordon D. Plotkin},
title = {Robin Milner, a Craftsman of Tools for the Mind},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {58--59},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.31},
doi = {10.1109/LICS.2010.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Plotkin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PopescuGO10,
author = {Andrei Popescu and
Elsa L. Gunter and
Christopher J. Osborn},
title = {Strong Normalization for System {F} by {HOAS} on Top of {FOAS}},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.48},
doi = {10.1109/LICS.2010.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PopescuGO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SchweikardtS10,
author = {Nicole Schweikardt and
Luc Segoufin},
title = {Addition-Invariant {FO} and Regularity},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {273--282},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.16},
doi = {10.1109/LICS.2010.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SchweikardtS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SilesH10,
author = {Vincent Siles and
Hugo Herbelin},
title = {Equality Is Typable in Semi-full Pure Type Systems},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.19},
doi = {10.1109/LICS.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SilesH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/StatonW10,
author = {Sam Staton and
Glynn Winskel},
title = {On the Expressivity of Symmetry in Event Structures},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {392--401},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.37},
doi = {10.1109/LICS.2010.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/StatonW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Zeilberger10,
author = {Noam Zeilberger},
title = {Polarity and the Logic of Delimited Continuations},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {219--227},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.23},
doi = {10.1109/LICS.2010.23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Zeilberger10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2010,
title = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5570020/proceeding},
isbn = {978-0-7695-4114-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2010.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 15:30 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:
