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/lfcs/lfcs2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/lfcs/AguzzoliBM09,
author = {Stefano Aguzzoli and
Simone Bova and
Vincenzo Marra},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Applications of Finite Duality to Locally Finite Varieties of BL-Algebras},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_1},
doi = {10.1007/978-3-540-92687-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AguzzoliBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArecesFM09,
author = {Carlos Areces and
Santiago Figueira and
Sergio Mera},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Completeness Results for Memory Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {16--30},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_2},
doi = {10.1007/978-3-540-92687-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArecesFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AvronZ09,
author = {Arnon Avron and
Anna Zamansky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {31--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_3},
doi = {10.1007/978-3-540-92687-0\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AvronZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BaltazarM09,
author = {Pedro Baltazar and
Paulo Mateus},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Temporalization of Probabilistic Propositional Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {46--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_4},
doi = {10.1007/978-3-540-92687-0\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BaltazarM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Bedon09,
author = {Nicolas Bedon},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logic and Bounded-Width Rational Languages of Posets over Countable
Scattered Linear Orderings},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {61--75},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_5},
doi = {10.1007/978-3-540-92687-0\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Bedon09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BonelliF09,
author = {Eduardo Bonelli and
Federico Feller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Logic of Proofs as a Foundation for Certifying Mobile Computation},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {76--91},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_6},
doi = {10.1007/978-3-540-92687-0\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BonelliF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrihayeLLM09,
author = {Thomas Brihaye and
Arnaud Da Costa Lopes and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {{ATL} with Strategy Contexts and Bounded Memory},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {92--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_7},
doi = {10.1007/978-3-540-92687-0\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BrihayeLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BucciarelliEM09,
author = {Antonio Bucciarelli and
Thomas Ehrhard and
Giulio Manzonetto},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Relational Model of a Parallel and Non-deterministic lambda-Calculus},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {107--121},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_8},
doi = {10.1007/978-3-540-92687-0\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BucciarelliEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BussK09,
author = {Samuel R. Buss and
Roman Kuznets},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The NP-Completeness of Reflected Fragments of Justification Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {122--136},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_9},
doi = {10.1007/978-3-540-92687-0\_9},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BussK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/FreitasVVV09,
author = {Renata P. de Freitas and
Sheila R. M. Veloso and
Paulo A. S. Veloso and
Jorge Petrucio Viana},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Positive Fork Graph Calculus},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {152--163},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_11},
doi = {10.1007/978-3-540-92687-0\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/FreitasVVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GenitriniK09,
author = {Antoine Genitrini and
Jakub Kozik},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Quantitative Comparison of Intuitionistic and Classical Logics - Full
Propositional System},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {280--294},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_19},
doi = {10.1007/978-3-540-92687-0\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GenitriniK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GheerbrantC09,
author = {Am{\'{e}}lie Gheerbrant and
Balder ten Cate},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {180--196},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_13},
doi = {10.1007/978-3-540-92687-0\_13},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/GheerbrantC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GorankoS09,
author = {Valentin Goranko and
Dmitry Shkatov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional
Multiagent Epistemic Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {197--213},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_14},
doi = {10.1007/978-3-540-92687-0\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GorankoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HetzlLWP09,
author = {Stefan Hetzl and
Alexander Leitsch and
Daniel Weller and
Bruno Woltzenlogel Paleo},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Clausal Approach to Proof Analysis in Second-Order Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {214--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_15},
doi = {10.1007/978-3-540-92687-0\_15},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HetzlLWP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/IemhoffM09,
author = {Rosalie Iemhoff and
George Metcalfe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Hypersequent Systems for the Admissible Rules of Modal and Intermediate
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {230--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_16},
doi = {10.1007/978-3-540-92687-0\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/IemhoffM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kanovich09,
author = {Max I. Kanovich},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Light Linear Logic with Controlled Weakening},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {246--264},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_17},
doi = {10.1007/978-3-540-92687-0\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kanovich09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KellerH09,
author = {Uwe Keller and
Stijn Heymans},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {265--279},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_18},
doi = {10.1007/978-3-540-92687-0\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KellerH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kurokawa09,
author = {Hidenori Kurokawa},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Tableaux and Hypersequents for Justification Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {295--308},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_20},
doi = {10.1007/978-3-540-92687-0\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kurokawa09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LagoRV09,
author = {Ugo Dal Lago and
Luca Roversi and
Luca Vercelli},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Taming Modal Impredicativity: Superlazy Reduction},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {137--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_10},
doi = {10.1007/978-3-540-92687-0\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LagoRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lubarsky09,
author = {Robert S. Lubarsky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Topological Forcing Semantics with Settling},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {309--322},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_21},
doi = {10.1007/978-3-540-92687-0\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Lubarsky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekR09,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Automata and Answer Set Programming},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {323--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_22},
doi = {10.1007/978-3-540-92687-0\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MariaMV09,
author = {Elisabetta De Maria and
Angelo Montanari and
Nicola Vitacolonna},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Games on Strings with a Limited Order Relation},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {164--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_12},
doi = {10.1007/978-3-540-92687-0\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MariaMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MasiniVV09,
author = {Andrea Masini and
Luca Vigan{\`{o}} and
Marco Volpe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Labeled Natural Deduction System for a Fragment of CTL*},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {338--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_23},
doi = {10.1007/978-3-540-92687-0\_23},
timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MasiniVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Milnikel09,
author = {Robert Saxon Milnikel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Conservativity for Logics of Justified Belief},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {354--364},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_24},
doi = {10.1007/978-3-540-92687-0\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Milnikel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Moczydlowski09,
author = {Wojciech Moczydlowski},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Unifying Sets and Programs via Dependent Types},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {365--379},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_25},
doi = {10.1007/978-3-540-92687-0\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Moczydlowski09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Savateev09,
author = {Yury Savateev},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Product-Free Lambek Calculus Is NP-Complete},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {380--394},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_26},
doi = {10.1007/978-3-540-92687-0\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Savateev09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Seth09,
author = {Anil Seth},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Games on Multi-stack Pushdown Systems},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {395--408},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_27},
doi = {10.1007/978-3-540-92687-0\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Seth09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/StouppaS09,
author = {Phiniki Stouppa and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Data Privacy for Knowledge Bases},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {409--421},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_28},
doi = {10.1007/978-3-540-92687-0\_28},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/StouppaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tadaki09,
author = {Kohtaro Tadaki},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Fixed Point Theorems on Partial Randomness},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {422--440},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_29},
doi = {10.1007/978-3-540-92687-0\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tadaki09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Terwijn09,
author = {Sebastiaan Terwijn},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Decidability and Undecidability in Probability Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {441--450},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_30},
doi = {10.1007/978-3-540-92687-0\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Terwijn09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Worthington09,
author = {James Worthington},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Bialgebraic Approach to Automata and Formal Language Theory},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {451--467},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_31},
doi = {10.1007/978-3-540-92687-0\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Worthington09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2009,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0},
doi = {10.1007/978-3-540-92687-0},
isbn = {978-3-540-92686-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2009.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-05-28 12:33 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:
