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/lfcs2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/lfcs/Antonakos07,
author = {Evangelia Antonakos},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Justified and Common Knowledge: Limited Conservativity},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {1--11},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_1},
doi = {10.1007/978-3-540-72734-7\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Antonakos07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArtemovB07,
author = {Sergei N. Art{\"{e}}mov and
Eduardo Bonelli},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Intensional Lambda Calculus},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {12--25},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_2},
doi = {10.1007/978-3-540-72734-7\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArtemovB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AvronZ07,
author = {Arnon Avron and
Anna Zamansky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {26--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_3},
doi = {10.1007/978-3-540-72734-7\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AvronZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BlairJIR07,
author = {Howard A. Blair and
David W. Jakel and
Robert J. Irwin and
Angel J. Rivera},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Elementary Differential Calculus on Discrete and Hybrid Structures},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {41--53},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_4},
doi = {10.1007/978-3-540-72734-7\_4},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BlairJIR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BolligM07,
author = {Benedikt Bollig and
Ingmar Meinecke},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Weighted Distributed Systems and Their Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {54--68},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_5},
doi = {10.1007/978-3-540-72734-7\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BolligM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BouyerBC07,
author = {Patricia Bouyer and
Thomas Brihaye and
Fabrice Chevalier},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted
Timed Automata!},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {69--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_6},
doi = {10.1007/978-3-540-72734-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BouyerBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Decidability and Expressiveness of Propositional Interval Neighborhood
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {84--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_7},
doi = {10.1007/978-3-540-72734-7\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrocheninDL07,
author = {R{\'{e}}mi Brochenin and
St{\'{e}}phane Demri and
{\'{E}}tienne Lozes},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Reasoning About Sequences of Memory States},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {100--114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_8},
doi = {10.1007/978-3-540-72734-7\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrocheninDL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BurelK07,
author = {Guillaume Burel and
Claude Kirchner},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Cut Elimination in Deduction Modulo by Abstract Completion},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {115--131},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_9},
doi = {10.1007/978-3-540-72734-7\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BurelK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CiabattoniM07,
author = {Agata Ciabattoni and
George Metcalfe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Density Elimination and Rational Completeness for First-Order Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {132--146},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_10},
doi = {10.1007/978-3-540-72734-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CiabattoniM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ConstableM07,
author = {Robert L. Constable and
Wojciech Moczydlowski},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Extracting the Resolution Algorithm from a Completeness Proof for
the Propositional Calculus},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {147--161},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_11},
doi = {10.1007/978-3-540-72734-7\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ConstableM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Davoren07,
author = {Jennifer M. Davoren},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Topological Semantics and Bisimulations for Intuitionistic Modal Logics
and Their Classical Companion Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {162--179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_12},
doi = {10.1007/978-3-540-72734-7\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Davoren07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DemriDG07,
author = {St{\'{e}}phane Demri and
Deepak D'Souza and
R{\'{e}}gis Gascon},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Decidable Temporal Logic of Repeating Values},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {180--194},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_13},
doi = {10.1007/978-3-540-72734-7\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DemriDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/EngelhardtGM07,
author = {Kai Engelhardt and
Peter Gammie and
Ron van der Meyden},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Model Checking Knowledge and Linear Time: {PSPACE} Cases},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {195--211},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_14},
doi = {10.1007/978-3-540-72734-7\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/EngelhardtGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Fitting07,
author = {Melvin Fitting},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Realizations and {LP}},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {212--223},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_15},
doi = {10.1007/978-3-540-72734-7\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Fitting07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GentiliniSM07,
author = {Raffaella Gentilini and
Klaus Schneider and
Bud Mishra},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Successive Abstractions of Hybrid Automata for Monotonic {CTL} Model
Checking},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {224--240},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_16},
doi = {10.1007/978-3-540-72734-7\_16},
timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/GentiliniSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Goris07,
author = {Evan Goris},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Explicit Proofs in Formal Provability Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {241--253},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_17},
doi = {10.1007/978-3-540-72734-7\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Goris07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GottipatiN07,
author = {Srikanth Gottipati and
Anil Nerode},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Synthesis Algorithm for Hybrid Systems},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {254--268},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_18},
doi = {10.1007/978-3-540-72734-7\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GottipatiN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Heinemann07,
author = {Bernhard Heinemann},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Including the Past in 'Topologic'},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {269--283},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_19},
doi = {10.1007/978-3-540-72734-7\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Heinemann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kanovich07,
author = {Max I. Kanovich},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Note on Rewriting Proofs and Fibonacci Numbers},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {284--292},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_20},
doi = {10.1007/978-3-540-72734-7\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kanovich07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KhoussainovL07,
author = {Bakhadyr Khoussainov and
Jiamou Liu},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Complexity of Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {293--309},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_21},
doi = {10.1007/978-3-540-72734-7\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KhoussainovL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kjos-HanssenN07,
author = {Bj{\o}rn Kjos{-}Hanssen and
Anil Nerode},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Law of the Iterated Logarithm for Algorithmically Random Brownian
Motion},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {310--317},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_22},
doi = {10.1007/978-3-540-72734-7\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kjos-HanssenN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kurokawa07,
author = {Hidenori Kurokawa},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Hypersequent Calculus for Intuitionistic Logic with Classical Atoms},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {318--331},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_23},
doi = {10.1007/978-3-540-72734-7\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kurokawa07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kuznets07,
author = {Roman Kuznets},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Proof Identity for Classical Logic: Generalizing to Normality},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {332--348},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_24},
doi = {10.1007/978-3-540-72734-7\_24},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kuznets07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LubarskyR07,
author = {Robert S. Lubarsky and
Michael Rathjen},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On the Constructive Dedekind Reals: Extended Abstract},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {349--362},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_25},
doi = {10.1007/978-3-540-72734-7\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/LubarskyR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MannaSZ07,
author = {Zohar Manna and
Henny B. Sipma and
Ting Zhang},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Verifying Balanced Trees},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {363--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_26},
doi = {10.1007/978-3-540-72734-7\_26},
timestamp = {Tue, 04 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MannaSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekR07,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Compactness Properties for Stable Semantics of Logic Programs},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {379--400},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_27},
doi = {10.1007/978-3-540-72734-7\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MogbilR07,
author = {Virgile Mogbil and
Vincent Rahli},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Uniform Circuits, {\&} Boolean Proof Nets},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {401--421},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_28},
doi = {10.1007/978-3-540-72734-7\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MogbilR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/NiesS07,
author = {Andr{\'{e}} Nies and
Pavel Semukhin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Finite Automata Presentable Abelian Groups},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {422--436},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_29},
doi = {10.1007/978-3-540-72734-7\_29},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/NiesS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/OConnor07,
author = {Michael O'Connor},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Embeddings into Free Heyting Algebras and Translations into Intuitionistic
Propositional Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {437--448},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_30},
doi = {10.1007/978-3-540-72734-7\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/OConnor07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Parikh07,
author = {Rohit Parikh},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Some Puzzles About Probability and Probabilistic Conditionals},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {449--456},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_31},
doi = {10.1007/978-3-540-72734-7\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Parikh07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Platzer07,
author = {Andr{\'{e}} Platzer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Temporal Dynamic Logic for Verifying Hybrid System Invariants},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {457--471},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_32},
doi = {10.1007/978-3-540-72734-7\_32},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Platzer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Redmond07,
author = {Brian F. Redmond},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Multiplexor Categories and Models of Soft Linear Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {472--485},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_33},
doi = {10.1007/978-3-540-72734-7\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Redmond07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rybakov07,
author = {Vladimir V. Rybakov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Until-Since Temporal Logic Based on Parallel Time with Common Past.
Deciding Algorithms},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {486--497},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_34},
doi = {10.1007/978-3-540-72734-7\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Rybakov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/SteinerS07,
author = {David Steiner and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Total Public Announcements},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {498--511},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_35},
doi = {10.1007/978-3-540-72734-7\_35},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/SteinerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2007,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7},
doi = {10.1007/978-3-540-72734-7},
isbn = {978-3-540-72732-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2007.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-06-03 02:54 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:
