default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lics/lics2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/lics/AltenkirchM09,
author = {Thorsten Altenkirch and
Peter Morris},
title = {Indexed Containers},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {277--285},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.33},
doi = {10.1109/LICS.2009.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AltenkirchM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Baez09,
author = {John Baez},
title = {Computation and the Periodic Table},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {211},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.43},
doi = {10.1109/LICS.2009.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Baez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BasaldellaF09,
author = {Michele Basaldella and
Claudia Faggian},
title = {Ludics with Repetitions (Exponentials, Interactive Types and Completeness)},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {375--384},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.46},
doi = {10.1109/LICS.2009.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BasaldellaF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BengtsonJPV09,
author = {Jesper Bengtson and
Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Psi-calculi: Mobile Processes, Nominal Data, and Logic},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.20},
doi = {10.1109/LICS.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BengtsonJPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BertrandGG09,
author = {Nathalie Bertrand and
Blaise Genest and
Hugo Gimbert},
title = {Qualitative Determinacy and Decidability of Stochastic Games with
Signals},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {319--328},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.31},
doi = {10.1109/LICS.2009.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BertrandGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BiancoMM09,
author = {Alessandro Bianco and
Fabio Mogavero and
Aniello Murano},
title = {Graded Computation Tree Logic},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {342--351},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.28},
doi = {10.1109/LICS.2009.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BiancoMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykSW09,
author = {Mikolaj Bojanczyk and
Howard Straubing and
Igor Walukiewicz},
title = {Wreath Products of Forest Algebras, with Applications to Tree Logics},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {255--263},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.40},
doi = {10.1109/LICS.2009.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BokerK09,
author = {Udi Boker and
Orna Kupferman},
title = {Co-ing B{\"{u}}chi Made Tight and Useful},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {245--254},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.32},
doi = {10.1109/LICS.2009.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BokerK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonsangueRS09,
author = {Marcello M. Bonsangue and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {An Algebra for Kripke Polynomial Coalgebras},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.18},
doi = {10.1109/LICS.2009.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonsangueRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BulatovM09,
author = {Andrei A. Bulatov and
D{\'{a}}niel Marx},
title = {The Complexity of Global Cardinality Constraints},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {419--428},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.38},
doi = {10.1109/LICS.2009.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BulatovM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CaiZL09,
author = {Yang Cai and
Ting Zhang and
Haifeng Luo},
title = {An Improved Lower Bound for the Complementation of Rabin Automata},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.13},
doi = {10.1109/LICS.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CaiZL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CarraroS09,
author = {Alberto Carraro and
Antonino Salibra},
title = {Reflexive Scott Domains are Not Complete for the Extensional Lambda
Calculus},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.22},
doi = {10.1109/LICS.2009.22},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CarraroS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChatterjeeDH09,
author = {Krishnendu Chatterjee and
Laurent Doyen and
Thomas A. Henzinger},
title = {Expressiveness and Closure Properties for Quantitative Languages},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.16},
doi = {10.1109/LICS.2009.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChatterjeeDH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChenF09,
author = {Yijia Chen and
J{\"{o}}rg Flum},
title = {A Logic for {PTIME} and a Parameterized Halting Problem},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {397--406},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.11},
doi = {10.1109/LICS.2009.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChenF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChenHKM09,
author = {Taolue Chen and
Tingting Han and
Joost{-}Pieter Katoen and
Alexandru Mereacre},
title = {Quantitative Model Checking of Continuous-Time Markov Chains Against
Timed Automata Specifications},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {309--318},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.21},
doi = {10.1109/LICS.2009.21},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ChenHKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Clarke09,
author = {Edmund M. Clarke},
title = {My 27-year Quest to Overcome the State Explosion Problem},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.42},
doi = {10.1109/LICS.2009.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Clarke09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CreusGMT09,
author = {Carles Creus and
Guillem Godoy and
Francesc Massanes and
Ashish Tiwari},
title = {Non-linear Rewrite Closure and Weak Normalization},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {365--374},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.9},
doi = {10.1109/LICS.2009.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CreusGMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DawarGHL09,
author = {Anuj Dawar and
Martin Grohe and
Bjarki Holm and
Bastian Laubner},
title = {Logics with Rank Operators},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.24},
doi = {10.1109/LICS.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DawarGHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Dominguez09,
author = {Lu{\'{\i}}s Dominguez},
title = {Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.49},
doi = {10.1109/LICS.2009.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Dominguez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DreyerAB09,
author = {Derek Dreyer and
Amal Ahmed and
Lars Birkedal},
title = {Logical Step-Indexed Logical Relations},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.34},
doi = {10.1109/LICS.2009.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DreyerAB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DurandHN09,
author = {Arnaud Durand and
Miki Hermann and
Gustav Nordh},
title = {Trichotomy in the Complexity of Minimal Inference},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {387--396},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.14},
doi = {10.1109/LICS.2009.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DurandHN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Friedmann09,
author = {Oliver Friedmann},
title = {An Exponential Lower Bound for the Parity Game Strategy Improvement
Algorithm as We Know it},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {145--156},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.27},
doi = {10.1109/LICS.2009.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Friedmann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Ghica09,
author = {Dan R. Ghica},
title = {Applications of Game Semantics: From Program Analysis to Hardware
Synthesis},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.26},
doi = {10.1109/LICS.2009.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Ghica09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhicaB09,
author = {Dan R. Ghica and
Adam Bakewell},
title = {Clipping: {A} Semantics-Directed Syntactic Approximation},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.25},
doi = {10.1109/LICS.2009.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GhicaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GollerMT09,
author = {Stefan G{\"{o}}ller and
Richard Mayr and
Anthony Widjaja To},
title = {On the Computational Complexity of Verifying One-Counter Processes},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {235--244},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.37},
doi = {10.1109/LICS.2009.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GollerMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HansenKM09,
author = {Kristoffer Arnsfelt Hansen and
Michal Kouck{\'{y}} and
Peter Bro Miltersen},
title = {Winning Concurrent Reachability Games Requires Doubly-Exponential
Patience},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {332--341},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.44},
doi = {10.1109/LICS.2009.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HansenKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HofmannS09,
author = {Martin Hofmann and
Ulrich Sch{\"{o}}pp},
title = {Pointer Programs and Undirected Reachability},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {133--142},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.41},
doi = {10.1109/LICS.2009.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HofmannS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kahlon09,
author = {Vineet Kahlon},
title = {Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability
of Pairwise CFL-Reachability for Threads Communicating via Locks},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.45},
doi = {10.1109/LICS.2009.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Kahlon09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KazakovP09,
author = {Yevgeny Kazakov and
Ian Pratt{-}Hartmann},
title = {A Note on the Complexity of the Satisfiability Problem for Graded
Modal Logics},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {407--416},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.17},
doi = {10.1109/LICS.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KazakovP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieronskiT09,
author = {Emanuel Kieronski and
Lidia Tendera},
title = {On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence
Relations},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.39},
doi = {10.1109/LICS.2009.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieronskiT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KobayashiO09,
author = {Naoki Kobayashi and
C.{-}H. Luke Ong},
title = {A Type System Equivalent to the Modal Mu-Calculus Model Checking of
Higher-Order Recursion Schemes},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.29},
doi = {10.1109/LICS.2009.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KobayashiO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Lataillade09,
author = {Joachim De Lataillade},
title = {Dinatural Terms in System {F}},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {267--276},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.30},
doi = {10.1109/LICS.2009.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Lataillade09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Leroux09,
author = {J{\'{e}}r{\^{o}}me Leroux},
title = {The General Vector Addition System Reachability Problem by Presburger
Inductive Invariants},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {4--13},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.10},
doi = {10.1109/LICS.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Leroux09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiangM09,
author = {Chuck C. Liang and
Dale Miller},
title = {A Unified Sequent Calculus for Focused Proofs},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {355--364},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.47},
doi = {10.1109/LICS.2009.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LiangM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MadelaineM09,
author = {Florent R. Madelaine and
Barnaby Martin},
title = {The Complexity of Positive First-order Logic without Equality},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {429--438},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.15},
doi = {10.1109/LICS.2009.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MadelaineM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Mimram09,
author = {Samuel Mimram},
title = {The Structure of First-Order Causality},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {212--221},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.19},
doi = {10.1109/LICS.2009.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Mimram09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NainV09,
author = {Sumit Nain and
Moshe Y. Vardi},
title = {Trace Semantics is Fully Abstract},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.12},
doi = {10.1109/LICS.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NainV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/OngT09,
author = {C.{-}H. Luke Ong and
Nikos Tzevelekos},
title = {Functional Reachability},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {286--295},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.48},
doi = {10.1109/LICS.2009.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/OngT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PaganiT09,
author = {Michele Pagani and
Christine Tasson},
title = {The Inverse Taylor Expansion Problem in Linear Logic},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {222--231},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.35},
doi = {10.1109/LICS.2009.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PaganiT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PfenningS09,
author = {Frank Pfenning and
Robert J. Simmons},
title = {Substructural Operational Semantics as Ordered Logic Programming},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.8},
doi = {10.1109/LICS.2009.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PfenningS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Rossman09,
author = {Benjamin Rossman},
title = {Combining Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {331},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.50},
doi = {10.1109/LICS.2009.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Rossman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RougemontT09,
author = {Michel de Rougemont and
Mathieu Tracol},
title = {Statistic Analysis for Probabilistic Processes},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.36},
doi = {10.1109/LICS.2009.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RougemontT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Tan09,
author = {Tony Tan},
title = {Graph Reachability and Pebble Automata over Infinite Alphabets},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.23},
doi = {10.1109/LICS.2009.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Tan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2009,
title = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/5230546/proceeding},
isbn = {978-0-7695-3746-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-12 18:20 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
