default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lfcs/lfcs2022.bht:"
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
Konstantinos 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 = {Mon, 21 Oct 2024 01:00:00 +0200},
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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-11 01:40 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
