Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/lfcs:"
download as .bib file
@inproceedings{DBLP:conf/lfcs/AguileraBF22,
author = {Juan P. Aguilera and
Jan Bydzovsky and
David Fern{\'{a}}ndez{-}Duque},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Non-hyperarithmetical G{\"{o}}del Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {1--8},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_1},
doi = {10.1007/978-3-030-93100-1\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AguileraBF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BaazL22,
author = {Matthias Baaz and
Anela Lolic},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Andrews Skolemization May Shorten Resolution Proofs Non-elementarily},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {9--24},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_2},
doi = {10.1007/978-3-030-93100-1\_2},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BaazL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CenzerK22,
author = {Douglas Cenzer and
Richard Krogman},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Isomorphism Problem for {FST} Injection Structures},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {25--36},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_3},
doi = {10.1007/978-3-030-93100-1\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/CenzerK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DeBoer22,
author = {Neil J. DeBoer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Justification Logic and Type Theory as Formalizations of Intuitionistic
Propositional Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {37--51},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_4},
doi = {10.1007/978-3-030-93100-1\_4},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/DeBoer22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Fernandez-Duque22,
author = {David Fern{\'{a}}ndez{-}Duque and
Konstnatinos Papafilippou and
Joost J. Joosten},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Hyperarithmetical Worm Battles},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {52--69},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_5},
doi = {10.1007/978-3-030-93100-1\_5},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Fernandez-Duque22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Forster22,
author = {Yannick Forster},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Parametric Church's Thesis: Synthetic Computability Without Choice},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {70--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_6},
doi = {10.1007/978-3-030-93100-1\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Forster22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HagemeierK22,
author = {Christian Hagemeier and
Dominik Kirst},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic
Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {90--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_7},
doi = {10.1007/978-3-030-93100-1\_7},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/HagemeierK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kjos-HanssenNY22,
author = {Bj{\o}rn Kjos{-}Hanssen and
Saroj Niraula and
Soowhan Yoon},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance
to an Analogue of the Normalized Information Distance},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {112--124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_8},
doi = {10.1007/978-3-030-93100-1\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kjos-HanssenNY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KontinenMM22,
author = {Juha Kontinen and
Arne Meier and
Yasir Mahmood},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Parameterized View on the Complexity of Dependence Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {125--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_9},
doi = {10.1007/978-3-030-93100-1\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KontinenMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LehnherrOS22,
author = {David Lehnherr and
Zoran Ognjanovic and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Logic of Interactive Proofs},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {143--155},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_10},
doi = {10.1007/978-3-030-93100-1\_10},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LehnherrOS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiuS22,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Recursive Rules with Aggregation: {A} Simple Unified Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {156--179},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_11},
doi = {10.1007/978-3-030-93100-1\_11},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LiuS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarcelinoCF22,
author = {S{\'{e}}rgio Marcelino and
Carlos Caleiro and
Pedro Filipe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Computational Properties of Partial Non-deterministic Matrices and
Their Logics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {180--197},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_12},
doi = {10.1007/978-3-030-93100-1\_12},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/MarcelinoCF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Moore22,
author = {Eoin Moore},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Soundness and Completeness Results for {LEA} and Probability Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {198--216},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_13},
doi = {10.1007/978-3-030-93100-1\_13},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Moore22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MotouraK22,
author = {Shota Motoura and
Shin{-}ya Katsumata},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Inverse Operators in Dynamic Epistemic Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {217--235},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_14},
doi = {10.1007/978-3-030-93100-1\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/MotouraK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/NormannS22,
author = {Dag Normann and
Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Betwixt Turing and Kleene},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {236--252},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_15},
doi = {10.1007/978-3-030-93100-1\_15},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/NormannS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Petrakis22,
author = {Iosif Petrakis},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Computability Models over Categories and Presheaves},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {253--265},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_16},
doi = {10.1007/978-3-030-93100-1\_16},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Petrakis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rogozin22,
author = {Daniel Rogozin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Reducts of Relation Algebras: The Aspects of Axiomatisability and
Finite Representability},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {266--280},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_17},
doi = {10.1007/978-3-030-93100-1\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Rogozin22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sanders22,
author = {Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Between Turing and Kleene},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {281--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_18},
doi = {10.1007/978-3-030-93100-1\_18},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sedlar22,
author = {Igor Sedl{\'{a}}r},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Propositional Dynamic Logic with Quantification over Regular Computation
Sequences},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {301--315},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_19},
doi = {10.1007/978-3-030-93100-1\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Sedlar22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Statman22,
author = {Rick Statman},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Finite Generation and Presentation Problems for Lambda Calculus and
Combinatory Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {316--326},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_20},
doi = {10.1007/978-3-030-93100-1\_20},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Statman22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/SubramaniW22,
author = {K. Subramani and
Piotr Wojciechowski},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Exact and Parameterized Algorithms for Read-Once Refutations in Horn
Constraint Systems},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {327--345},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_21},
doi = {10.1007/978-3-030-93100-1\_21},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/SubramaniW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/TrottaSP22,
author = {Davide Trotta and
Matteo Spadetto and
Valeria de Paiva},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Dialectica Logical Principles},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {346--363},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_22},
doi = {10.1007/978-3-030-93100-1\_22},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/TrottaSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Zielenkiewicz22,
author = {Maciej Zielenkiewicz},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Small Model Property Reflects in Games and Automata},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {364--375},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_23},
doi = {10.1007/978-3-030-93100-1\_23},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Zielenkiewicz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2022,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1},
doi = {10.1007/978-3-030-93100-1},
isbn = {978-3-030-93099-8},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/0002KW20,
author = {Yannick Forster and
Dominik Kirst and
Dominik Wehr},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Completeness Theorems for First-Order Logic Analysed in Constructive
Type Theory},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {47--74},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_4},
doi = {10.1007/978-3-030-36755-8\_4},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/0002KW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/0002M020,
author = {Yasir Mahmood and
Arne Meier and
Johannes Schmidt},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Parameterised Complexity of Abduction in Schaefer's Framework},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {195--213},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_13},
doi = {10.1007/978-3-030-36755-8\_13},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/0002M020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AckermanFP20,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Rehana Patel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Computability of Algebraic and Definable Closure},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {1--11},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_1},
doi = {10.1007/978-3-030-36755-8\_1},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/AckermanFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Artemov20,
author = {Sergei N. Art{\"{e}}mov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Observable Models},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {12--26},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_2},
doi = {10.1007/978-3-030-36755-8\_2},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Artemov20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BaazL20,
author = {Matthias Baaz and
Anela Lolic},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Globally Sound Analytic Calculus for Henkin Quantifiers},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {128--143},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_9},
doi = {10.1007/978-3-030-36755-8\_9},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BaazL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DalmonteLOP20,
author = {Tiziano Dalmonte and
Bj{\"{o}}rn Lellmann and
Nicola Olivetti and
Elaine Pimentel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Countermodel Construction via Optimal Hypersequent Calculi for Non-normal
Modal Logics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {27--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_3},
doi = {10.1007/978-3-030-36755-8\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DalmonteLOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kushida20,
author = {Hirohiko Kushida},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On the Constructive Truth and Falsity in Peano Arithmetic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {75--84},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_5},
doi = {10.1007/978-3-030-36755-8\_5},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Kushida20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LehmannS20,
author = {Eveline Lehmann and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Belief Expansion in Subset Models},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {85--97},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_6},
doi = {10.1007/978-3-030-36755-8\_6},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LehmannS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Leivant20,
author = {Daniel Leivant},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Finitism, Imperative Programs and Primitive Recursion},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {98--110},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_7},
doi = {10.1007/978-3-030-36755-8\_7},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Leivant20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiuS20,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Knowledge of Uncertain Worlds: Programming with Logical Constraints},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {111--127},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_8},
doi = {10.1007/978-3-030-36755-8\_8},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LiuS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lubarsky20,
author = {Robert S. Lubarsky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Feedback Hyperjump},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {144--155},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_10},
doi = {10.1007/978-3-030-36755-8\_10},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Lubarsky20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lyon20,
author = {Tim Lyon},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear
Nested Sequents},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {156--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_11},
doi = {10.1007/978-3-030-36755-8\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Lyon20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lyon20a,
author = {Tim Lyon},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Deriving Nested Calculi for Intuitionistic Logics from Semantic
Systems},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {177--194},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_12},
doi = {10.1007/978-3-030-36755-8\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Lyon20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/PocasZ20,
author = {Diogo Po{\c{c}}as and
Jeffery I. Zucker},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Tracking Computability of GPAC-Generable Functions},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {214--235},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_14},
doi = {10.1007/978-3-030-36755-8\_14},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/PocasZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rogozin20,
author = {Daniel Rogozin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Modal Type Theory Based on the Intuitionistic Modal Logic {\textdollar}{\textbackslash}mathbf\{IEL\}\{-\}{\textdollar}},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {236--248},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_15},
doi = {10.1007/978-3-030-36755-8\_15},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Rogozin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sanders20,
author = {Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Lifting Recursive Counterexamples to Higher-Order Arithmetic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {249--267},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_16},
doi = {10.1007/978-3-030-36755-8\_16},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Sanders20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Willard20,
author = {Dan E. Willard},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On the Tender Line Separating Generalizations and Boundary-Case Exceptions
for the Second Incompleteness Theorem Under Semantic Tableaux Deduction},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {268--286},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_17},
doi = {10.1007/978-3-030-36755-8\_17},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Willard20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2020,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8},
doi = {10.1007/978-3-030-36755-8},
isbn = {978-3-030-36754-1},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Achilleos18,
author = {Antonis Achilleos},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Completeness Problem for Modal Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {1--21},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_1},
doi = {10.1007/978-3-319-72056-2\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Achilleos18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Artemov18,
author = {Sergei N. Art{\"{e}}mov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Justification Awareness Models},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {22--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_2},
doi = {10.1007/978-3-319-72056-2\_2},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Artemov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Avron018,
author = {Arnon Avron and
Liron Cohen},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Minimal Computational Theory of a Minimal Computational Universe},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {37--54},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_3},
doi = {10.1007/978-3-319-72056-2\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Avron018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BaazLL18,
author = {Matthias Baaz and
Alexander Leitsch and
Anela Lolic},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Sequent-Calculus Based Formulation of the Extended First Epsilon
Theorem},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {55--71},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_4},
doi = {10.1007/978-3-319-72056-2\_4},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BaazLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BarloccoK18,
author = {Simone Barlocco and
Clemens Kupke},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Angluin Learning via Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {72--90},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_5},
doi = {10.1007/978-3-319-72056-2\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BarloccoK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Beklemishev18,
author = {Lev D. Beklemishev},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Universal Algebra for the Variable-Free Fragment of {\textdollar}{\textdollar}\{{\textbackslash}mathrm
\{RC\}{\textbackslash}nabla \}{\textdollar}{\textdollar} {RC} {\(\nabla\)}},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {91--106},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_6},
doi = {10.1007/978-3-319-72056-2\_6},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Beklemishev18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrunnlerFS18,
author = {Kai Br{\"{u}}nnler and
Dandolo Flumini and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Logic of Blockchain Updates},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {107--119},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_7},
doi = {10.1007/978-3-319-72056-2\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BrunnlerFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CiabattoniLR18,
author = {Agata Ciabattoni and
Tim Lyon and
Revantha Ramanayake},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {From Display to Labelled Proofs for Tense Logics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {120--139},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_8},
doi = {10.1007/978-3-319-72056-2\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CiabattoniLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DienerL18,
author = {Hannes Diener and
Robert S. Lubarsky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Notions of Cauchyness and Metastability},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {140--153},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_9},
doi = {10.1007/978-3-319-72056-2\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/DienerL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Ferguson18,
author = {Thomas Macaulay Ferguson},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A G{\"{o}}del-Artemov-Style Analysis of Constructible Falsity},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {154--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_10},
doi = {10.1007/978-3-319-72056-2\_10},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Ferguson18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GhilezanIKOS18,
author = {Silvia Ghilezan and
Jelena Ivetic and
Simona Kasterovic and
Zoran Ognjanovic and
Nenad Savic},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Probabilistic Reasoning About Simply Typed Lambda Terms},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {170--189},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_11},
doi = {10.1007/978-3-319-72056-2\_11},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/GhilezanIKOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HannulaKV18,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Polyteam Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {190--210},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_12},
doi = {10.1007/978-3-319-72056-2\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HannulaKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Krupski18,
author = {Vladimir N. Krupski},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On the Sharpness and the Single-Conclusion Property of Basic Justification
Models},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {211--220},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_13},
doi = {10.1007/978-3-319-72056-2\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Krupski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiuS18,
author = {Yanhong A. Liu and
Scott D. Stoller},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Founded Semantics and Constraint Semantics of Logic Rules},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {221--241},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_14},
doi = {10.1007/978-3-319-72056-2\_14},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LiuS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lubarsky18,
author = {Robert S. Lubarsky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Separating the Fan Theorem and Its Weakenings {II}},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {242--255},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_15},
doi = {10.1007/978-3-319-72056-2\_15},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Lubarsky18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/PaivaE18,
author = {Valeria de Paiva and
Harley Eades III},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Dialectica Categories for the Lambek Calculus},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {256--272},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_16},
doi = {10.1007/978-3-319-72056-2\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/PaivaE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Peluce18,
author = {V. Alexis Peluce},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {From Epistemic Paradox to Doxastic Arithmetic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {273--288},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_17},
doi = {10.1007/978-3-319-72056-2\_17},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Peluce18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Ralph18,
author = {Benjamin Ralph},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Natural Proof System for Herbrand's Theorem},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {289--308},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_18},
doi = {10.1007/978-3-319-72056-2\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Ralph18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sanders18,
author = {Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Metastability and Higher-Order Computability},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {309--330},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_19},
doi = {10.1007/978-3-319-72056-2\_19},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Sanders18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Statman18,
author = {Rick Statman},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Completeness of {BCD} for an Operational Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {331--336},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_20},
doi = {10.1007/978-3-319-72056-2\_20},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Statman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Yu18,
author = {Junhua Yu},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Tableau System for Instantial Neighborhood Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {337--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_21},
doi = {10.1007/978-3-319-72056-2\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Yu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ZapryagaevP18,
author = {Alexander Zapryagaev and
Fedor Pakhomov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Interpretations of Presburger Arithmetic in Itself},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {354--367},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_22},
doi = {10.1007/978-3-319-72056-2\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ZapryagaevP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2018,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2},
doi = {10.1007/978-3-319-72056-2},
isbn = {978-3-319-72055-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Achilleos16,
author = {Antonis Achilleos},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Modal Logics with Hard Diamond-Free Fragments},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {1--13},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_1},
doi = {10.1007/978-3-319-27683-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Achilleos16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Antonakos16,
author = {Evangelia Antonakos},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Pairing Traditional and Generic Common Knowledge},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {14--26},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_2},
doi = {10.1007/978-3-319-27683-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Antonakos16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Artemov16,
author = {Sergei N. Art{\"{e}}mov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Aggregating Probabilistic Evidence},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {27--42},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_3},
doi = {10.1007/978-3-319-27683-0\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Artemov16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CamposF16,
author = {Marco Devesas Campos and
Marcelo P. Fiore},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Classical Logic with Mendler Induction - {A} Dual Calculus and Its
Strong Normalization},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {43--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_4},
doi = {10.1007/978-3-319-27683-0\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CamposF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CenzerMR16,
author = {Douglas A. Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Index Sets for Finite Normal Predicate Logic Programs with Function
Symbols},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {60--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_5},
doi = {10.1007/978-3-319-27683-0\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CenzerMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Citkin16,
author = {Alex Citkin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Multiple Conclusion Rules in Logics with the Disjunction Property},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {76--89},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_6},
doi = {10.1007/978-3-319-27683-0\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Citkin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/EadesP16,
author = {Harley Eades III and
Valeria de Paiva},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Multiple Conclusion Linear Logic: Cut Elimination and More},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {90--105},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_7},
doi = {10.1007/978-3-319-27683-0\_7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/EadesP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Fijalkow16,
author = {Nathana{\"{e}}l Fijalkow},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Online Space Complexity of Probabilistic Languages},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {106--116},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_8},
doi = {10.1007/978-3-319-27683-0\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Fijalkow16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ForssellGS16,
author = {Henrik Forssell and
H{\aa}kon Robbestad Gylterud and
David I. Spivak},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Type Theoretical Databases},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {117--129},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_9},
doi = {10.1007/978-3-319-27683-0\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ForssellGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Heinemann16,
author = {Bernhard Heinemann},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Augmenting Subset Spaces to Cope with Multi-agent Knowledge},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {130--145},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_10},
doi = {10.1007/978-3-319-27683-0\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Heinemann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KanovichKS16,
author = {Max I. Kanovich and
Stepan L. Kuznetsov and
Andre Scedrov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Lambek's Restriction in the Presence of Exponential Modalities},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {146--158},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_11},
doi = {10.1007/978-3-319-27683-0\_11},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KanovichKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Khoussainov16,
author = {Bakhadyr Khoussainov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Quest for Algorithmically Random Infinite Structures, {II}},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {159--173},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_12},
doi = {10.1007/978-3-319-27683-0\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Khoussainov16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KokkinisOS16,
author = {Ioannis Kokkinis and
Zoran Ognjanovic and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Probabilistic Justification Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {174--186},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_13},
doi = {10.1007/978-3-319-27683-0\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KokkinisOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KrupskiY16,
author = {Vladimir N. Krupski and
Alexey Yatmanov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Sequent Calculus for Intuitionistic Epistemic Logic {IEL}},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {187--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_14},
doi = {10.1007/978-3-319-27683-0\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KrupskiY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kuznets16,
author = {Roman Kuznets},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Interpolation Method for Multicomponent Sequent Calculi},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {202--218},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_15},
doi = {10.1007/978-3-319-27683-0\_15},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kuznets16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LicataS16,
author = {Daniel R. Licata and
Michael Shulman},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Adjoint Logic with a 2-Category of Modes},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {219--235},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_16},
doi = {10.1007/978-3-319-27683-0\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LicataS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lubarsky16,
author = {Robert S. Lubarsky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Parallel Feedback Turing Computability},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {236--250},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_17},
doi = {10.1007/978-3-319-27683-0\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Lubarsky16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Messick16,
author = {Scott Messick},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Compactness in the Theory of Continuous Automata},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {251--266},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_18},
doi = {10.1007/978-3-319-27683-0\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Messick16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MichalewskiM16,
author = {Henryk Michalewski and
Matteo Mio},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Measure Quantifier in Monadic Second Order Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {267--282},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_19},
doi = {10.1007/978-3-319-27683-0\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/MichalewskiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/NomuraOS16,
author = {Shoshin Nomura and
Hiroakira Ono and
Katsuhiko Sano},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {283--298},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_20},
doi = {10.1007/978-3-319-27683-0\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/NomuraOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Petrakis16,
author = {Iosif Petrakis},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Urysohn Extension Theorem for Bishop Spaces},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {299--316},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_21},
doi = {10.1007/978-3-319-27683-0\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Petrakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Protopopescu16,
author = {Tudor Protopopescu},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {An Arithmetical Interpretation of Verification and Intuitionistic
Knowledge},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {317--330},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_22},
doi = {10.1007/978-3-319-27683-0\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Protopopescu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/RamanujamSS16,
author = {R. Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Complexity of Disjunction in Intuitionistic Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {349--363},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_24},
doi = {10.1007/978-3-319-27683-0\_24},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/RamanujamSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/RamanujamT16,
author = {Ramaswamy Ramanujam and
Ramanathan S. Thinniyam},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Definability in First Order Theories of Graph Orderings},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {331--348},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_23},
doi = {10.1007/978-3-319-27683-0\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/RamanujamT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rybakov16,
author = {Vladimir V. Rybakov},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty,
Plausibility},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {364--375},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_25},
doi = {10.1007/978-3-319-27683-0\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Rybakov16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sorokin16,
author = {Alexey Sorokin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Ogden Property for Linear Displacement Context-Free Grammars},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {376--391},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_26},
doi = {10.1007/978-3-319-27683-0\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sorokin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Statman16,
author = {Rick Statman},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Levy Labels and Recursive Types},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {392--406},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_27},
doi = {10.1007/978-3-319-27683-0\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Statman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2016,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0},
doi = {10.1007/978-3-319-27683-0},
isbn = {978-3-319-27682-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AcetoIPS13,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Cristian Prisacariu and
Joshua Sack},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Compositional Reasoning for Multi-modal Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_1},
doi = {10.1007/978-3-642-35722-0\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AcetoIPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Antonakos13,
author = {Evangelia Antonakos},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Explicit Generic Common Knowledge},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {16--28},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_2},
doi = {10.1007/978-3-642-35722-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Antonakos13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BartheCK13,
author = {Gilles Barthe and
Juan Manuel Crespo and
C{\'{e}}sar Kunz},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Beyond 2-Safety: Asymmetric Product Programs for Relational Program
Verification},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {29--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_3},
doi = {10.1007/978-3-642-35722-0\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BartheCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BenderZ13,
author = {Marc Bender and
Jeffery I. Zucker},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Assignment Calculus: {A} Pure Imperative Language},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {44--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_4},
doi = {10.1007/978-3-642-35722-0\_4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BenderZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrihayePS13,
author = {Thomas Brihaye and
Julie {De Pril} and
Sven Schewe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Multiplayer Cost Games with Simple Nash Equilibria},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {59--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_5},
doi = {10.1007/978-3-642-35722-0\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrihayePS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrikR13,
author = {Alex Brik and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Forward Chaining for Hybrid {ASP}},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {74--88},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_6},
doi = {10.1007/978-3-642-35722-0\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrikR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CaseJS13,
author = {John Case and
Sanjay Jain and
Frank Stephan},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Effectivity Questions for Kleene's Recursion Theorem},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {89--103},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_7},
doi = {10.1007/978-3-642-35722-0\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CaseJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CenzerR13,
author = {Douglas Cenzer and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Sub-computable Bounded Pseudorandomness},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {104--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_8},
doi = {10.1007/978-3-642-35722-0\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CenzerR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CiabattoniLSZ13,
author = {Agata Ciabattoni and
Ori Lahav and
Lara Spendier and
Anna Zamansky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Automated Support for the Investigation of Paraconsistent and Other
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {119--133},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_9},
doi = {10.1007/978-3-642-35722-0\_9},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CiabattoniLSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CourtaultG13,
author = {Jean{-}Ren{\'{e}} Courtault and
Didier Galmiche},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Modal {BI} Logic for Dynamic Resource Properties},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {134--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_10},
doi = {10.1007/978-3-642-35722-0\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CourtaultG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DelahayeLL13,
author = {Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Stuttering for Abstract Probabilistic Automata},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {149--163},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_11},
doi = {10.1007/978-3-642-35722-0\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DelahayeLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Diaz-CaroMP13,
author = {Alejandro D{\'{\i}}az{-}Caro and
Giulio Manzonetto and
Michele Pagani},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Call-by-Value Non-determinism in a Linear Logic Type Discipline},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {164--178},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_12},
doi = {10.1007/978-3-642-35722-0\_12},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Diaz-CaroMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DuparcFR13,
author = {Jacques Duparc and
Olivier Finkel and
Jean{-}Pierre Ressayre},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Wadge Hierarchy of Petri Nets \emph{{\(\omega\)}}-Languages},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {179--193},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_13},
doi = {10.1007/978-3-642-35722-0\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DuparcFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Georgatos13,
author = {Konstantinos Georgatos},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Iterated Contraction Based on Indistinguishability},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {194--205},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_14},
doi = {10.1007/978-3-642-35722-0\_14},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Georgatos13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Goudsmit13,
author = {Jeroen P. Goudsmit},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Note on Extensions: Admissible Rules via Semantics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {206--218},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_15},
doi = {10.1007/978-3-642-35722-0\_15},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Goudsmit13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Heinemann13,
author = {Bernhard Heinemann},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out
the Difference},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {219--233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_16},
doi = {10.1007/978-3-642-35722-0\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Heinemann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HouZ13,
author = {Ping Hou and
Hao Zheng},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Quantified Differential Temporal Dynamic Logic for Verifying Properties
of Distributed Hybrid Systems},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {234--251},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_17},
doi = {10.1007/978-3-642-35722-0\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HouZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kuyper13,
author = {Rutger Kuyper},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Computational Hardness of Validity in Probability Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {252--265},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_18},
doi = {10.1007/978-3-642-35722-0\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kuyper13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KuznetsS13,
author = {Roman Kuznets and
Thomas Studer},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Update as Evidence: Belief Expansion},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {266--279},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_19},
doi = {10.1007/978-3-642-35722-0\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/KuznetsS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LubarskyD13,
author = {Robert S. Lubarsky and
Hannes Diener},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Separating the Fan Theorem and Its Weakenings},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {280--295},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_20},
doi = {10.1007/978-3-642-35722-0\_20},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/LubarskyD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Milnikel13,
author = {Bob Milnikel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Logic of Uncertain Justifications},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {296--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_21},
doi = {10.1007/978-3-642-35722-0\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Milnikel13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Paleo13,
author = {Bruno Woltzenlogel Paleo},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Contextual Natural Deduction},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {372--386},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_27},
doi = {10.1007/978-3-642-35722-0\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Paleo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sedlar13,
author = {Igor Sedl{\'{a}}r},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Justifications, Awareness and Epistemic Dynamics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {307--318},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_22},
doi = {10.1007/978-3-642-35722-0\_22},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sedlar13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sorokin13,
author = {Alexey Sorokin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Normal Forms for Multiple Context-Free Languages and Displacement
Lambek Grammars},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {319--334},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_23},
doi = {10.1007/978-3-642-35722-0\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sorokin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/TalpinBGSS13,
author = {Jean{-}Pierre Talpin and
Jens Brandt and
Mike Gem{\"{u}}nde and
Klaus Schneider and
Sandeep K. Shukla},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Constructive Polychronous Systems},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {335--349},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_24},
doi = {10.1007/978-3-642-35722-0\_24},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/TalpinBGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tasdemir13,
author = {{\c{C}}agil Tasdemir},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {On Tolerance Analysis of Games with Belief Revision},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {350--358},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_25},
doi = {10.1007/978-3-642-35722-0\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tasdemir13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Wang13,
author = {Ren{-}June Wang},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Temporalizing Modal Epistemic Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {359--371},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_26},
doi = {10.1007/978-3-642-35722-0\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Wang13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Wyman13,
author = {Sebastian Wyman},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Conservatively Approximable Functions},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {387--400},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_28},
doi = {10.1007/978-3-642-35722-0\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Wyman13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Yu13,
author = {Junhua Yu},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of
Intuitionistic Logic},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {401--414},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_29},
doi = {10.1007/978-3-642-35722-0\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Yu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2013,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0},
doi = {10.1007/978-3-642-35722-0},
isbn = {978-3-642-35721-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/lfcs/ArtemovDN97,
author = {Sergei N. Art{\"{e}}mov and
Jennifer M. Davoren and
Anil Nerode},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Topological Semantics for Hybrid Systems},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {1--8},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_1},
doi = {10.1007/3-540-63045-7\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArtemovDN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BartheS97,
author = {Gilles Barthe and
Morten Heine S{\o}rensen},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Domain-Free Pure Type Systems},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {9--20},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_2},
doi = {10.1007/3-540-63045-7\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BartheS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BelegradekST97,
author = {Oleg V. Belegradek and
Alexei P. Stolboushkin and
Michael A. Taitslin},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Generic Queries over Quasy-o-minimal Domains},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {21--32},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_3},
doi = {10.1007/3-540-63045-7\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BelegradekST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BukatinS97,
author = {Michael A. Bukatin and
Joshua S. Scott},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Towards Computing Distances Between Programs via Scott Domains},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {33--43},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_4},
doi = {10.1007/3-540-63045-7\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BukatinS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Clote97,
author = {Peter Clote},
editor = {Sergei I. Adian and
Anil Nerode},
title = {A Safe Recursion Scheme for Exponential Time},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {44--52},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_5},
doi = {10.1007/3-540-63045-7\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Clote97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Courcelle97,
author = {Bruno Courcelle},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Finite Model Theory, Universal Algebra and Graph Grammars},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {53--55},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_6},
doi = {10.1007/3-540-63045-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Courcelle97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DantsinV97,
author = {Evgeny Dantsin and
Andrei Voronkov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Complexity of Query Answering in Logic Databases with Complex Values},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {56--66},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_7},
doi = {10.1007/3-540-63045-7\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DantsinV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DekhtyarD97,
author = {Michael I. Dekhtyar and
Alexander Ja. Dikovsky},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Recognition of Deductive Data Base Stability},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {67--77},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_8},
doi = {10.1007/3-540-63045-7\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DekhtyarD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Dudakov97,
author = {Sergey M. Dudakov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {The Concurrency Complexity for the Horn Fragment of Linear Logic},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {78--87},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_9},
doi = {10.1007/3-540-63045-7\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Dudakov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Durnev97,
author = {Valery Durnev},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Studying Algorithmic Problems for Free Semi-groups and Groups},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {88--101},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_10},
doi = {10.1007/3-540-63045-7\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Durnev97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/FreivaldsTWS97,
author = {Rusins Freivalds and
Gints Tervits and
Rolf Wiehagen and
Carl H. Smith},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Learning Small Programs with Additional Information},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {102--112},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_11},
doi = {10.1007/3-540-63045-7\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/FreivaldsTWS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Gavrilovich97,
author = {Michael Gavrilovich},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Cut Elimination for the Second Order Propositional Logic with Hilbert's
epsilon-symbol, Extensionality, and Full Comprehension},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {113--118},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_12},
doi = {10.1007/3-540-63045-7\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Gavrilovich97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Golovanov97,
author = {Mikhail Golovanov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Finite Bases of Admissible Rules for the Logic {S52C}},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {119--129},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_13},
doi = {10.1007/3-540-63045-7\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Golovanov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Groote97,
author = {Philippe de Groote},
editor = {Sergei I. Adian and
Anil Nerode},
title = {An Algebraic Correctness Criterion for Intuitionistic Proof-Nets},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {130--140},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_14},
doi = {10.1007/3-540-63045-7\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Groote97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Harel97,
author = {David Harel},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Towards a Theory of Recursive Structures (extended abstract)},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {141--144},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_15},
doi = {10.1007/3-540-63045-7\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Harel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Heinemann97,
author = {Bernhard Heinemann},
editor = {Sergei I. Adian and
Anil Nerode},
title = {On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {145--155},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_16},
doi = {10.1007/3-540-63045-7\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Heinemann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kopylov97,
author = {Alexey P. Kopylov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {The Undecidability of Second Order Linear Affine Logic},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {156--166},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_17},
doi = {10.1007/3-540-63045-7\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kopylov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Krupski97,
author = {Vladimir Krupski},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Operational Logic of Proofs with Functionality Condition on Proof
Predicate},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {167--177},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_18},
doi = {10.1007/3-540-63045-7\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Krupski97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LisitsaS97,
author = {Alexei Lisitsa and
Vladimir Yu. Sazonov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {On Linear Ordering of Strongly Extensional Finitely-Branching Graphs
and Non-well-founded Sets},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {178--188},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_19},
doi = {10.1007/3-540-63045-7\_19},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/LisitsaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MakaninAG97,
author = {G. S. Makanin and
Habib Abdulrab and
Pavel Goralcik},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Functions for the General Solution of Parametric Word Equations},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {189--202},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_20},
doi = {10.1007/3-540-63045-7\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MakaninAG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Makarov97,
author = {Evgeny Makarov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {A Proof Procedure for Hereditary Harrop Formulas with Free Equality},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {203--213},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_21},
doi = {10.1007/3-540-63045-7\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Makarov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Basic Forward Chaining Construction for Logic Programs},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {214--225},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_22},
doi = {10.1007/3-540-63045-7\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Margenstern97,
author = {Maurice Margenstern},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Decidability and Undecidability of the Halting Problem on Turing Machines,
a Survey},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {226--236},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_23},
doi = {10.1007/3-540-63045-7\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Margenstern97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Marion97,
author = {Jean{-}Yves Marion},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Case Study: Additive Linear Logic and Lattices},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {237--247},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_24},
doi = {10.1007/3-540-63045-7\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Marion97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Matiyasevich97,
author = {Yuri V. Matiyasevich},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Some Decision Problems for Traces},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {248--257},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_25},
doi = {10.1007/3-540-63045-7\_25},
timestamp = {Tue, 19 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Matiyasevich97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Mints97,
author = {Grigori Mints},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Existential Instantiation and Strong Normalization},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {258--265},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_26},
doi = {10.1007/3-540-63045-7\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Mints97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Mkrtychev97,
author = {Alexey Mkrtychev},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Models for the Logic of Proofs},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {266--275},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_27},
doi = {10.1007/3-540-63045-7\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Mkrtychev97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Nitsche97,
author = {Ulrich Nitsche},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Interpretation of the Full Computation Tree Logic CTL* on Sets of
Infinite Sequences},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {276--282},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_28},
doi = {10.1007/3-540-63045-7\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Nitsche97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/OhsakiM97,
author = {Hitoshi Ohsaki and
Aart Middeldorp},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Type Introduction for Equational Rewriting},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {283--293},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_29},
doi = {10.1007/3-540-63045-7\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/OhsakiM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Otto97,
author = {Martin Otto},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Capturing Bisimulation-Invariant Ptime},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {294--305},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_30},
doi = {10.1007/3-540-63045-7\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Otto97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Pentus97,
author = {Mati Pentus},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Equivalence of Multiplicative Fragments of Cyclic Linear Logic and
Noncommutative Linear Logic},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {306--311},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_31},
doi = {10.1007/3-540-63045-7\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Pentus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Perrier97,
author = {Guy Perrier},
editor = {Sergei I. Adian and
Anil Nerode},
title = {A Decidable Fragment of Second Order Linear Logic},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {312--322},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_32},
doi = {10.1007/3-540-63045-7\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Perrier97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/RentsS97,
author = {Igor Rents and
Nikolay V. Shilov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Some Results on Propositional Dynamic Logic with Fixed Points},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {323--332},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_33},
doi = {10.1007/3-540-63045-7\_33},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/RentsS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rybakov97,
author = {Vladimir V. Rybakov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Quasi-Characteristic Inference Rules for Modal Logics},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {333--341},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_34},
doi = {10.1007/3-540-63045-7\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Rybakov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sidon97,
author = {Tatiana Sidon},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Provability Logic with Operations on Proofs},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {342--353},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_35},
doi = {10.1007/3-540-63045-7\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sidon97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Stark97,
author = {Robert F. St{\"{a}}rk},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Formal Verification of Logic Programs: Foundations and Implementation},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {354--368},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_36},
doi = {10.1007/3-540-63045-7\_36},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Stark97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tandetnik97,
author = {Igor L. Tandetnik},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Unification of Terms with Term-Indexed Variables},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {369--373},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_37},
doi = {10.1007/3-540-63045-7\_37},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tandetnik97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tarasyuk97,
author = {Igor V. Tarasyuk},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Back-Forth Equivalences for Design of Concurrent Systems},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {374--384},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_38},
doi = {10.1007/3-540-63045-7\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tarasyuk97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tseytin97,
author = {Gregory S. Tseytin},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Association Nets: an Alternative Formalization of Common Thinking},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {385--398},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_39},
doi = {10.1007/3-540-63045-7\_39},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tseytin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Xi97,
author = {Hongwei Xi},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Simulating eta-expansions with beta-reductions in the Second-Order
Polymorphic lambda-calculus},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {399--409},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_40},
doi = {10.1007/3-540-63045-7\_40},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Yavorsky97,
author = {Rostislav E. Yavorsky},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Logical Schemes for First-Order Theories},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {410--418},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_41},
doi = {10.1007/3-540-63045-7\_41},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Yavorsky97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Zakharov97,
author = {Vladimir A. Zakharov},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Verification of {PLTL} Formulae by Means of Monotone Disjunctive Normal
Forms},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {419--429},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_42},
doi = {10.1007/3-540-63045-7\_42},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Zakharov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1997,
editor = {Sergei I. Adian and
Anil Nerode},
title = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7},
doi = {10.1007/3-540-63045-7},
isbn = {3-540-63045-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Ablayev94,
author = {Farid M. Ablayev},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Lower Bounds for Probabilistic Space Complexity: Communication-Automata
Approach},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {1--7},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_1},
doi = {10.1007/3-540-58140-5\_1},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Ablayev94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Andersen94,
author = {Henrik Reif Andersen},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {On Model Checking Infinite-State Systems},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {8--17},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_2},
doi = {10.1007/3-540-58140-5\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Andersen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArchangelskyDKMT94,
author = {Dmitry A. Archangelsky and
Michael I. Dekhtyar and
Evgeny Kruglov and
Ilmir Kh. Musikaev and
Mikhail A. Taitslin},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Concurrency Problem for Horn Fragment of Girard's Linear Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {18--22},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_3},
doi = {10.1007/3-540-58140-5\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArchangelskyDKMT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArtemovK94,
author = {Sergei N. Art{\"{e}}mov and
Vladimir Krupski},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Referential Data Structures and Labeled Modal Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {23--33},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_4},
doi = {10.1007/3-540-58140-5\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArtemovK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AspertiD94,
author = {Andrea Asperti and
Giovanna M. Dore},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Yet Another Correctness Criterion for Multiplicative Linear Logic
with {MIX}},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {34--46},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_5},
doi = {10.1007/3-540-58140-5\_5},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AspertiD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BakelLRU94,
author = {Steffen van Bakel and
Luigi Liquori and
Simona Ronchi Della Rocca and
Pawel Urzyczyn},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Comparing Cubes},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {353--365},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_33},
doi = {10.1007/3-540-58140-5\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BakelLRU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BerezinS94,
author = {Sergey Berezin and
Nikolay V. Shilov},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {An Approach to Effective Model-Checking of Real-Time Finite-State
Machines in Mu-Calculus},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {47--55},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_6},
doi = {10.1007/3-540-58140-5\_6},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BerezinS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrownJ94,
author = {Carolyn Brown and
Alan Jeffrey},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Allegories of Circuits},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {56--68},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_7},
doi = {10.1007/3-540-58140-5\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrownJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ChenL94,
author = {Cheng{-}Chia Chen and
I{-}Peng Lin},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {The Complexity of Propositional Modal Theories and the Complexity
of Consistency of Propositional Modal Theories},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {69--80},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_8},
doi = {10.1007/3-540-58140-5\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ChenL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Dekhtyar94,
author = {Alex Dekhtyar},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Multiplicative Linear Logic for Resource Transformation Nets},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {81--88},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_9},
doi = {10.1007/3-540-58140-5\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Dekhtyar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GalmicheP94,
author = {Didier Galmiche and
Guy Perrier},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Foundations of Proof Search Strategies Design in Linear Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {101--113},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_11},
doi = {10.1007/3-540-58140-5\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GalmicheP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GeN94,
author = {Xiaolin Ge and
Anil Nerode},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {On Extreme Points of Convex Compact Turing Located Set},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {114--128},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_12},
doi = {10.1007/3-540-58140-5\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GeN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Ghilezan94,
author = {Silvia Ghilezan},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Application of Typed Lambda Calculi in the Untyped Lambda Calculus},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {129--139},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_13},
doi = {10.1007/3-540-58140-5\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Ghilezan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GoncharovB94,
author = {Sergei S. Goncharov and
Serikzhan A. Badaev},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Classes with Pairwise Equivalent Enumerations},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {140--141},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_14},
doi = {10.1007/3-540-58140-5\_14},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GoncharovB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Groote94,
author = {Philippe de Groote},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Strong Normalization in a Non-Deterministic Typed Lambda-Calculus},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {142--152},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_15},
doi = {10.1007/3-540-58140-5\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Groote94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HallettW94,
author = {Michael T. Hallett and
Harold T. Wareham},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {The Parameterized Complexity of Some Problems in Logic and Linguistics},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {89--100},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_10},
doi = {10.1007/3-540-58140-5\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HallettW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Heinemann94,
author = {Bernhard Heinemann},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {On Expressive Completeness of Modal Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {153--163},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_16},
doi = {10.1007/3-540-58140-5\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Heinemann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HoekLM94,
author = {Wiebe van der Hoek and
Bernd van Linder and
John{-}Jules Ch. Meyer},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {A Logic of Capabilities},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {366--378},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_34},
doi = {10.1007/3-540-58140-5\_34},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HoekLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Hoofman94,
author = {Raymond Hoofman},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Comparing Models of the Non-Extensional Typed Lambda-Calculus},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {164--172},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_17},
doi = {10.1007/3-540-58140-5\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Hoofman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Jacobs94,
author = {Bart Jacobs},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Coalgebras and Approximation},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {173--183},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_18},
doi = {10.1007/3-540-58140-5\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Jacobs94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kanovich94,
author = {Max I. Kanovich},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Computational and Concurrency Models of Linear Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {184--190},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_19},
doi = {10.1007/3-540-58140-5\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kanovich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Khasidashvili94,
author = {Zurab Khasidashvili},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {The Longest Perpetual Reductions in Orthogonal Expression Reduction
Systems},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {191--203},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_20},
doi = {10.1007/3-540-58140-5\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Khasidashvili94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KhoussainovN94,
author = {Bakhadyr Khoussainov and
Anil Nerode},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {The Notion of Rank and Games},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {204--217},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_21},
doi = {10.1007/3-540-58140-5\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KhoussainovN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kuchuganov94,
author = {Mikle Kuchuganov},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {A Predicate Logic of Well-Founded Actions},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {218--226},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_22},
doi = {10.1007/3-540-58140-5\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kuchuganov94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Leivant94,
author = {Daniel Leivant},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Predicative Recurrence in Finite Types},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {227--239},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_23},
doi = {10.1007/3-540-58140-5\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Leivant94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MakowskyP94,
author = {Johann A. Makowsky and
Y. B. Pnueli},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Arity vs. Alternation in Second Order Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {240--252},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_24},
doi = {10.1007/3-540-58140-5\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MakowskyP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Nickau94,
author = {Hanno Nickau},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Hereditarily Sequential Functionals},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {253--264},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_25},
doi = {10.1007/3-540-58140-5\_25},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Nickau94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Nitsche94,
author = {Ulrich Nitsche},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Propositional Linear Temporal Logic and Language Homomorphisms},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {265--277},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_26},
doi = {10.1007/3-540-58140-5\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Nitsche94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/OostromR94,
author = {Vincent van Oostrom and
Femke van Raamsdonk},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Weak Orthogonality Implies Confluence: The Higher Order Case},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {379--392},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_35},
doi = {10.1007/3-540-58140-5\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/OostromR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/PerezE94,
author = {Ram{\'{o}}n Pino P{\'{e}}rez and
Christian Even},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {An Abstract Property of Confluence Applied to the Study of the Lazy
Partial Lambda Calculus},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {278--290},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_27},
doi = {10.1007/3-540-58140-5\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/PerezE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/PliuskevicienePWM94,
author = {Aida Pliuskeviciene and
Regimantas Pliuskevicius and
Michal Walicki and
Sigurd Meldal},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {On Specialization of Derivations in Axiomatic Equality Theories},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {291--303},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_28},
doi = {10.1007/3-540-58140-5\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/PliuskevicienePWM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rybakov94,
author = {Vladimir V. Rybakov},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Preserving of Admissible Inference Rules in Modal Logics},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {304--315},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_29},
doi = {10.1007/3-540-58140-5\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Rybakov94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/SeveriP94,
author = {Paula Severi and
Erik Poll},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Pure Type Systems with Definitions},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {316--328},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_30},
doi = {10.1007/3-540-58140-5\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/SeveriP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sidon94,
author = {Tatiana Sidon},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Craig Interpolation Property in Modal Logics with Provability Interpretation},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {329--340},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_31},
doi = {10.1007/3-540-58140-5\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sidon94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/TraylorG94,
author = {Bonnie Traylor and
Michael Gelfond},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Representing Null Values in Logic Programming},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {341--352},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_32},
doi = {10.1007/3-540-58140-5\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/TraylorG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1994,
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5},
doi = {10.1007/3-540-58140-5},
isbn = {3-540-58140-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArchangelskyT92,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Modular Linear Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {1--8},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023858},
doi = {10.1007/BFB0023858},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArchangelskyT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BaligaCJS92,
author = {Ganesh Baliga and
John Case and
Sanjay Jain and
Mandayam Suraj},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Machine Learning of Higher Order Programs},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {9--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023859},
doi = {10.1007/BFB0023859},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BaligaCJS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BeigelKS92,
author = {Richard Beigel and
Martin Kummer and
Frank Stephan},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Quantifying the Amount of Verboseness},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {21--32},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023860},
doi = {10.1007/BFB0023860},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BeigelKS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Benton92,
author = {P. N. Benton},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Strictness Logic and Polymorphic Invariance},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {33--44},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023861},
doi = {10.1007/BFB0023861},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Benton92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrownMW92,
author = {Allen L. Brown Jr. and
Surya Mantha and
Toshiro Wakayama},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Preference Logics and Non-Monotonicity in Logic Programming},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {45--56},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023862},
doi = {10.1007/BFB0023862},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrownMW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CaloM92,
author = {A. Cal{\`{o}} and
Johann A. Makowsky},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {The Ehrenfeucht-Fraisse Games for Transitive Closure},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {57--68},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023863},
doi = {10.1007/BFB0023863},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CaloM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Cerans92,
author = {Karlis Cerans},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Feasibility of Finite and Infinite Paths in Data Dependent Programs},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {69--80},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023864},
doi = {10.1007/BFB0023864},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Cerans92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Chen92,
author = {Liang Chen},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {An Interleaving Model for Real-Time Systems},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {81--92},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023865},
doi = {10.1007/BFB0023865},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Chen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Christensen92,
author = {S{\o}ren Christensen},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {A Logical Characterization of Asynchronously Communicating Agents},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {93--104},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023866},
doi = {10.1007/BFB0023866},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Christensen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DershowitzR92,
author = {Nachum Dershowitz and
Edward M. Reingold},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Ordinal Arithmetic with List Structures},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {117--126},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023868},
doi = {10.1007/BFB0023868},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DershowitzR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Edalat92,
author = {Abbas Edalat},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Continuous I-Categories},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {127--138},
publisher = {Springer},
year = {1992},
timestamp = {Tue, 07 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Edalat92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Fitting92,
author = {Melvin Fitting},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Many-Valued Non-Monotonic Modal Logics},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {139--150},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023869},
doi = {10.1007/BFB0023869},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Fitting92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GalmicheP92,
author = {Didier Galmiche and
Guy Perrier},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Automated Deduction in Additive and Multiplicative Linear Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {151--162},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023870},
doi = {10.1007/BFB0023870},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GalmicheP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Gamatie92,
author = {B. Gamatie},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Intensionally Stable Functions},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {163--173},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023871},
doi = {10.1007/BFB0023871},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Gamatie92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Groote92,
author = {Philippe de Groote},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Denotations for Classical Proofs - Preliminary Results},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {105--116},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023867},
doi = {10.1007/BFB0023867},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Groote92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Gupta92,
author = {Arvind Gupta},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {174--185},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023872},
doi = {10.1007/BFB0023872},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Gupta92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HemachandraJV92,
author = {Lane A. Hemachandra and
Sanjay Jain and
Nikolai K. Vereshchagin},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Banishing Robust Turing Completeness},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {186--197},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023873},
doi = {10.1007/BFB0023873},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HemachandraJV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Hirokawa92,
author = {Sachio Hirokawa},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Balanced Formulas, BCK-Minimal Formulas and Their Proofs},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {198--208},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023874},
doi = {10.1007/BFB0023874},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Hirokawa92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HoekM92,
author = {Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Graded Modalities in Epistemic Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {503--514},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023902},
doi = {10.1007/BFB0023902},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HoekM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Hoofman92,
author = {Raymond Hoofman},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Non-Stable Models of Linear Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {209--220},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023875},
doi = {10.1007/BFB0023875},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Hoofman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KingS92,
author = {Andy King and
Paul Soper},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Ordering Optimizations for Concurrent Logic Programs},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {221--228},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023876},
doi = {10.1007/BFB0023876},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KingS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KnijnenburgN92,
author = {Peter M. W. Knijnenburg and
Frank Nordemann},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {A Categorical Interpretation of Partial Function Logic and Hoare Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {229--240},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023877},
doi = {10.1007/BFB0023877},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KnijnenburgN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KossovskyP92,
author = {Nikolai K. Kossovsky and
A. B. Prokhoroff},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {The Polynominal Complexity of Conjunctive Normal Form Satisfiability,
when the Number of Conjunctions and Negations is Limited},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {241--245},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023878},
doi = {10.1007/BFB0023878},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KossovskyP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kotov92,
author = {Sergey V. Kotov},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Typed lamda-Calculus with Recursive Definitions},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {246--257},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023879},
doi = {10.1007/BFB0023879},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kotov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lano92,
author = {Kevin Lano},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {258--268},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023880},
doi = {10.1007/BFB0023880},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Lano92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lesske92,
author = {Frank Le{\ss}ke},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Constructive Specifications of Abstract Data Types Using Temporal
Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {269--280},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023881},
doi = {10.1007/BFB0023881},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Lesske92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LiC92,
author = {Renwei Li and
Jos{\'{e}} Carmo},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {An Interval-Based Modal Logic for System Specification},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {281--292},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023882},
doi = {10.1007/BFB0023882},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/LiC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Luo92,
author = {Zhaohui Luo},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {A Unifying Theory of Dependent Types: The Schematic Approach},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {293--304},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023883},
doi = {10.1007/BFB0023883},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Luo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Makarov92,
author = {V. P. Makarov},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {{MSL} - {A} Mathematical Specification Language},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {305--313},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023884},
doi = {10.1007/BFB0023884},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Makarov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Megrelis92,
author = {Aristide M{\'{e}}grelis},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Partial Algebra + Order-Sorted Algebra = Galactic Algebra},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {314--325},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023885},
doi = {10.1007/BFB0023885},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Megrelis92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Momigliano92,
author = {Alberto Momigliano},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Minimal Negation and Hereditary Harrop Formulae},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {326--335},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023886},
doi = {10.1007/BFB0023886},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Momigliano92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Mullins92,
author = {John Mullins},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Kleene Automata and Recursion Theory},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {336--346},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023887},
doi = {10.1007/BFB0023887},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Mullins92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Mycroft92,
author = {Alan Mycroft},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Incremental Polymorphic Type Checking with Update},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {347--357},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023888},
doi = {10.1007/BFB0023888},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Mycroft92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Plaza92,
author = {Jan A. Plaza},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Operators on Lattices of omega-Herbrand Interpretations},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {358--369},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023889},
doi = {10.1007/BFB0023889},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Plaza92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Pliuskeviciene92,
author = {Aida Pliuskeviciene},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Sequential Calculus for Proving the Properties of Regular Programs},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {370--381},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023890},
doi = {10.1007/BFB0023890},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Pliuskeviciene92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Pliuskevicius92,
author = {Regimantas Pliuskevicius},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Complete Sequential Calculi for the First Order Symmetrical Linear
Temporal Logic with Until and Since},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {382--393},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023891},
doi = {10.1007/BFB0023891},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Pliuskevicius92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Rabinovich92,
author = {Alexander Moshe Rabinovich},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Non Modularity and Expressibility for Nets of Relations},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {394--405},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023892},
doi = {10.1007/BFB0023892},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Rabinovich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Reif92,
author = {Wolfgang Reif},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Correctness of Generic Modules},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {406--417},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023893},
doi = {10.1007/BFB0023893},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Reif92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/SadiM92,
author = {Kamel Sadi and
Fran{\c{c}}ois Meunier},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {An And-Parallelism Cooperative Scheme for Full Prolog Interpreters
on a Transputer-Based Architecture},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {418--429},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023894},
doi = {10.1007/BFB0023894},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/SadiM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sakalauskaite92,
author = {Jurate Sakalauskaite},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {A Sequent Calculus for a First Order Linear Temporal Logic with Equality},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {430--440},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023895},
doi = {10.1007/BFB0023895},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sakalauskaite92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Schlingloff92,
author = {Bernd{-}Holger Schlingloff},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {On the Expressive Power of Modal Logics on Trees},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {441--451},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023896},
doi = {10.1007/BFB0023896},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Schlingloff92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Shilov92,
author = {Nikolay V. Shilov},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for
Verification of Finite State Machines},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {452--458},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023897},
doi = {10.1007/BFB0023897},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Shilov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Spreen92,
author = {Dieter Spreen},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Effective Operators and Continuity Revisited},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {459--469},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023898},
doi = {10.1007/BFB0023898},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Spreen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Stewart92,
author = {Iain A. Stewart},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Logical Characterizations of Bounded Query Classes {I:} Logspace Oracle
Machines},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {470--479},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023899},
doi = {10.1007/BFB0023899},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Stewart92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tiuryn92,
author = {Jerzy Tiuryn},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Solving Equational Constraints in Polymorphic Types},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {480--492},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023900},
doi = {10.1007/BFB0023900},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tiuryn92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Tupailo92,
author = {Sergei Tupailo},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Gentzen-Style and Novikov-Style Cut-Elimination},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {493--502},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023901},
doi = {10.1007/BFB0023901},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Tupailo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1992,
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023857},
doi = {10.1007/BFB0023857},
isbn = {3-540-55707-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1992.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-26 10:32 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:
