Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cie/cie2021.bht:"
download as .bib file
@inproceedings{DBLP:conf/cie/AlaevS21,
author = {Pavel Alaev and
Victor L. Selivanov},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Searching for Applicable Versions of Computable Structures},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {1--11},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_1},
doi = {10.1007/978-3-030-80049-9\_1},
timestamp = {Tue, 20 Jul 2021 15:29:21 +0200},
biburl = {https://dblp.org/rec/conf/cie/AlaevS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/AntonelliLP21,
author = {Melissa Antonelli and
Ugo Dal Lago and
Paolo Pistone},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On Measure Quantifiers in First-Order Arithmetic},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {12--24},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_2},
doi = {10.1007/978-3-030-80049-9\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/AntonelliLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BergerBDHKKLPSS21,
author = {Julian Berger and
Maximilian B{\"{o}}ther and
Vanja Doskoc and
Jonathan Gadea Harder and
Nicolas Klodt and
Timo K{\"{o}}tzing and
Winfried L{\"{o}}tzsch and
Jannik Peters and
Leon Schiller and
Lars Seifert and
Armin Wells and
Simon Wietheger},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Learning Languages with Decidable Hypotheses},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {25--37},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_3},
doi = {10.1007/978-3-030-80049-9\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/BergerBDHKKLPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BerndtGJJK21,
author = {Sebastian Berndt and
Kilian Grage and
Klaus Jansen and
Lukas Johannsen and
Maria Kosche},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Robust Online Algorithms for Dynamic Choosing Problems},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {38--49},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_4},
doi = {10.1007/978-3-030-80049-9\_4},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BerndtGJJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BirnsK21,
author = {Samuel D. Birns and
Bj{\o}rn Kjos{-}Hanssen},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On the Degrees of Constructively Immune Sets},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {50--59},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_5},
doi = {10.1007/978-3-030-80049-9\_5},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BirnsK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Bringmann21,
author = {Karl Bringmann},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational
Geometry},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {60--70},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_6},
doi = {10.1007/978-3-030-80049-9\_6},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Bringmann21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Carl21,
author = {Merlin Carl},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {71--81},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_7},
doi = {10.1007/978-3-030-80049-9\_7},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Carl21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CarlGP21,
author = {Merlin Carl and
Lorenzo Galeotti and
Robert Pa{\ss}mann},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Randomising Realizability},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {82--93},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_8},
doi = {10.1007/978-3-030-80049-9\_8},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CarlGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Carlucci21,
author = {Lorenzo Carlucci},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Restrictions of Hindman's Theorem: An Overview},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {94--105},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_9},
doi = {10.1007/978-3-030-80049-9\_9},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Carlucci21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Chikhi21,
author = {Rayan Chikhi},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {A Tale of Optimizing the Space Taken by de Bruijn Graphs},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {120--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_11},
doi = {10.1007/978-3-030-80049-9\_11},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Chikhi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Cohen21,
author = {Liron Cohen},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Formally Computing with the Non-computable},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {135--145},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_12},
doi = {10.1007/978-3-030-80049-9\_12},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Cohen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CsimaRY21,
author = {Barbara F. Csima and
Dino Rossegger and
Daniel Yu},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Positive Enumerable Functors},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {385--394},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_38},
doi = {10.1007/978-3-030-80049-9\_38},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CsimaRY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DoskocK21,
author = {Vanja Doskoc and
Timo K{\"{o}}tzing},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Mapping Monotonic Restrictions in Inductive Inference},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {146--157},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_13},
doi = {10.1007/978-3-030-80049-9\_13},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DoskocK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DoskocK21a,
author = {Vanja Doskoc and
Timo K{\"{o}}tzing},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Normal Forms for Semantically Witness-Based Learners in Inductive
Inference},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {158--168},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_14},
doi = {10.1007/978-3-030-80049-9\_14},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DoskocK21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/EizengaLMP21,
author = {Jordan M. Eizenga and
Ryan Lorig{-}Roach and
Melissa M. Meredith and
Benedict Paten},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Walk-Preserving Transformation of Overlapped Sequence Graphs into
Blunt Sequence Graphs with GetBlunted},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {169--177},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_15},
doi = {10.1007/978-3-030-80049-9\_15},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/EizengaLMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Ezra21,
author = {Esther Ezra},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On 3SUM-hard Problems in the Decision Tree Model},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {178--188},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_16},
doi = {10.1007/978-3-030-80049-9\_16},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Ezra21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Faizrahmanov21,
author = {Marat Kh. Faizrahmanov},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Limitwise Monotonic Spectra and Their Generalizations},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {189--198},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_17},
doi = {10.1007/978-3-030-80049-9\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Faizrahmanov21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Ferreira21,
author = {Fernando Ferreira},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On False Heine/Borel Compactness Principles in Proof Mining},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {199--203},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_18},
doi = {10.1007/978-3-030-80049-9\_18},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Ferreira21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FluschnikK21,
author = {Till Fluschnik and
Leon Kellerhals},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Placing Green Bridges Optimally, with a Multivariate Analysis},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {204--216},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_19},
doi = {10.1007/978-3-030-80049-9\_19},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/FluschnikK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Franklin21,
author = {Johanna N. Y. Franklin},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {A Church-Turing Thesis for Randomness?},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {217--226},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_20},
doi = {10.1007/978-3-030-80049-9\_20},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Franklin21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GafurovVB21,
author = {Askar Gafurov and
Tom{\'{a}}s Vinar and
Brona Brejov{\'{a}}},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Probabilistic Models of k-mer Frequencies (Extended Abstract)},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {227--236},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_21},
doi = {10.1007/978-3-030-80049-9\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/GafurovVB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GencoP21,
author = {Francesco A. Genco and
Francesca Poggiolesi},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Defining Formal Explanation in Classical Logic by Substructural Derivability},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {237--247},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_22},
doi = {10.1007/978-3-030-80049-9\_22},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/GencoP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Georgiev21,
author = {Ivan Georgiev},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Dedekind Cuts and Long Strings of Zeros in Base Expansions},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {248--259},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_23},
doi = {10.1007/978-3-030-80049-9\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Georgiev21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GolesMWT21,
author = {Eric Goles and
Pedro Montealegre and
Mart{\'{\i}}n R{\'{\i}}os{-}Wilson and
Guillaume Theyssier},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On the Impact of Treewidth in the Computational Complexity of Freezing
Dynamics},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {260--272},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_24},
doi = {10.1007/978-3-030-80049-9\_24},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/GolesMWT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GracaZ21,
author = {Daniel Silva Gra{\c{c}}a and
Ning Zhong},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Computability of Limit Sets for Two-Dimensional Flows},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {494--503},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_48},
doi = {10.1007/978-3-030-80049-9\_48},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/GracaZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KhazraeiKS21,
author = {Ardalan Khazraei and
Timo K{\"{o}}tzing and
Karen Seidel},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Towards a Map for Incremental Learning in the Limit from Positive
and Negative Information},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {273--284},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_25},
doi = {10.1007/978-3-030-80049-9\_25},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/KhazraeiKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Kjos-HanssenW21,
author = {Bj{\o}rn Kjos{-}Hanssen and
David J. Webb},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {KL-Randomness and Effective Dimension Under Strong Reducibility},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {457--468},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_45},
doi = {10.1007/978-3-030-80049-9\_45},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Kjos-HanssenW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KolodziejczykY21,
author = {Leszek Aleksander Kolodziejczyk and
Keita Yokoyama},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {In Search of the First-Order Part of Ramsey's Theorem for Pairs},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {297--307},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_27},
doi = {10.1007/978-3-030-80049-9\_27},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/KolodziejczykY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KotzingS21,
author = {Timo K{\"{o}}tzing and
Karen Seidel},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Learning Languages in the Limit from Positive Information with Finitely
Many Memory Changes},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {318--329},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_29},
doi = {10.1007/978-3-030-80049-9\_29},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/KotzingS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Koutsoukou-Argyraki21,
author = {Angeliki Koutsoukou{-}Argyraki},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On Preserving the Computational Content of Mathematical Proofs: Toy
Examples for a Formalising Strategy},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {285--296},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_26},
doi = {10.1007/978-3-030-80049-9\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Koutsoukou-Argyraki21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Kristiansen21,
author = {Lars Kristiansen},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {On Subrecursive Representation of Irrational Numbers: Contractors
and Baire Sequences},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {308--317},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_28},
doi = {10.1007/978-3-030-80049-9\_28},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Kristiansen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KrogmanC21,
author = {Richard Krogman and
Douglas Cenzer},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Complexity and Categoricity of Injection Structures Induced by Finite
State Transducers},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {106--119},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_10},
doi = {10.1007/978-3-030-80049-9\_10},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/KrogmanC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Lohrey21,
author = {Markus Lohrey},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Compression Techniques in Group Theory},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {330--341},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_30},
doi = {10.1007/978-3-030-80049-9\_30},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Lohrey21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Miller21,
author = {Russell Miller},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Computable Procedures for Fields},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {342--352},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_31},
doi = {10.1007/978-3-030-80049-9\_31},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Miller21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MoschovakisV21,
author = {Joan Rand Moschovakis and
Garyfallia Vafeiadou},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Minimum Classical Extensions of Constructive Theories},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {353--362},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_33},
doi = {10.1007/978-3-030-80049-9\_33},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MoschovakisV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MoyenS21,
author = {Jean{-}Yves Moyen and
Jakob Grue Simonsen},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Subrecursive Equivalence Relations and (non-)Closure Under Lattice
Operations},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {363--372},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_34},
doi = {10.1007/978-3-030-80049-9\_34},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MoyenS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/RobertMLM21,
author = {L{\'{e}}o Robert and
Daiki Miyahara and
Pascal Lafourcade and
Takaaki Mizuki},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Interactive Physical {ZKP} for Connectivity: Applications to Nurikabe
and Hitori},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {373--384},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_37},
doi = {10.1007/978-3-030-80049-9\_37},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/RobertMLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders21,
author = {Sam Sanders},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Splittings and Robustness for the Heine-Borel Theorem},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {395--406},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_39},
doi = {10.1007/978-3-030-80049-9\_39},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Selivanov21,
author = {Victor L. Selivanov},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Non-collapse of the Effective Wadge Hierarchy},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {407--416},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_40},
doi = {10.1007/978-3-030-80049-9\_40},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Selivanov21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sorbi21,
author = {Andrea Sorbi},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Effective Inseparability and Its Applications},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {417--423},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_41},
doi = {10.1007/978-3-030-80049-9\_41},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sorbi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Steifer21,
author = {Tomasz Steifer},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Simple Betting and Stochasticity},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {424--433},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_42},
doi = {10.1007/978-3-030-80049-9\_42},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Steifer21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Szabo21,
author = {M{\'{a}}t{\'{e}} Szab{\'{o}}},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {P{\'{e}}ter on Church's Thesis, Constructivity and Computers},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {434--445},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_43},
doi = {10.1007/978-3-030-80049-9\_43},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Szabo21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Turner21,
author = {D. A. Turner},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Constructive Mathematics, Church's Thesis, and Free Choice Sequences},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {446--456},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_44},
doi = {10.1007/978-3-030-80049-9\_44},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Turner21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Wiesnet21,
author = {Franziskus Wiesnet},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {An Algorithmic Version of Zariski's Lemma},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {469--482},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_46},
doi = {10.1007/978-3-030-80049-9\_46},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Wiesnet21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Yuen21,
author = {Henry Yuen},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Einstein Meets Turing: The Computability of Nonlocal Games},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {483--493},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_47},
doi = {10.1007/978-3-030-80049-9\_47},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Yuen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2021,
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9},
doi = {10.1007/978-3-030-80049-9},
isbn = {978-3-030-80048-2},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-21 14:03 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:
