default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cie/cie2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/cie/BazhenovCM22,
author = {Nikolay Bazhenov and
Vittorio Cipriani and
Luca San Mauro},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Calculating the Mind Change Complexity of Learning Algebraic Structures},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {1--12},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_1},
doi = {10.1007/978-3-031-08740-0\_1},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BazhenovCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BazhenovZ22,
author = {Nikolay Bazhenov and
Maxim V. Zubkov},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Well-Orders Realized by {C.E.} Equivalence Relations},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {13--23},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_2},
doi = {10.1007/978-3-031-08740-0\_2},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BazhenovZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BlechschmidtS22,
author = {Ingo Blechschmidt and
Peter Schuster},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Maximal Ideals in Countable Rings, Constructively},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {24--38},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_3},
doi = {10.1007/978-3-031-08740-0\_3},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BlechschmidtS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Bournez22,
author = {Olivier Bournez},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Programming with Ordinary Differential Equations: Some First Steps
Towards a Programming Language},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {39--51},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_4},
doi = {10.1007/978-3-031-08740-0\_4},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Bournez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BrechtKS22,
author = {Matthew de Brecht and
Takayuki Kihara and
Victor L. Selivanov},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Enumerating Classes of Effective Quasi-Polish Spaces},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {88--102},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_8},
doi = {10.1007/978-3-031-08740-0\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BrechtKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Bruyere22,
author = {V{\'{e}}ronique Bruy{\`{e}}re},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {A Game-Theoretic Approach for the Synthesis of Complex Systems},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {52--63},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_5},
doi = {10.1007/978-3-031-08740-0\_5},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Bruyere22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Carl22,
author = {Merlin Carl},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Lower Bounds on {\(\beta\)} ({\(\alpha\)} {)}},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {64--73},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_6},
doi = {10.1007/978-3-031-08740-0\_6},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Carl22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DasD22,
author = {Anupam Das and
Avgerinos Delkos},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Proof Complexity of Monotone Branching Programs},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {74--87},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_7},
doi = {10.1007/978-3-031-08740-0\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DasD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DoskocK22,
author = {Vanja Doskoc and
Timo K{\"{o}}tzing},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Maps of Restrictions for Behaviourally Correct Learning},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {103--114},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_9},
doi = {10.1007/978-3-031-08740-0\_9},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DoskocK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Fujiwara22,
author = {Makoto Fujiwara},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {An Extension of the Equivalence Between Brouwer's Fan Theorem and
Weak K{\"{o}}nig's Lemma with a Uniqueness Hypothesis},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {115--124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_10},
doi = {10.1007/978-3-031-08740-0\_10},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Fujiwara22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/HellaV22,
author = {Lauri Hella and
Miikka Vilander},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Defining Long Words Succinctly in {FO} and {MSO}},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {125--138},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_11},
doi = {10.1007/978-3-031-08740-0\_11},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/HellaV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Jimenez-Lopez22,
author = {Mar{\'{\i}}a Dolores Jim{\'{e}}nez{-}L{\'{o}}pez},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Processing Natural Language with Biomolecules: Where Linguistics,
Biology and Computation Meet},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {139--150},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_12},
doi = {10.1007/978-3-031-08740-0\_12},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Jimenez-Lopez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Kjos-HanssenW22,
author = {Bj{\o}rn Kjos{-}Hanssen and
David J. Webb},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Strong Medvedev Reducibilities and the KL-Randomness Problem},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {151--161},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_13},
doi = {10.1007/978-3-031-08740-0\_13},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Kjos-HanssenW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Lubarsky22,
author = {Robert S. Lubarsky},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {On the Necessity of Some Topological Spaces},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {162--171},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_14},
doi = {10.1007/978-3-031-08740-0\_14},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Lubarsky22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MaschioS22,
author = {Samuele Maschio and
Pietro Sabelli},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {On the Compatibility Between the Minimalist Foundation and Constructive
Set Theory},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {172--185},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_15},
doi = {10.1007/978-3-031-08740-0\_15},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MaschioS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Meeks22,
author = {Kitty Meeks},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Reducing Reachability in Temporal Graphs: Towards a More Realistic
Model of Real-World Spreading Processes},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {186--195},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_16},
doi = {10.1007/978-3-031-08740-0\_16},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Meeks22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Murwanashyaka22,
author = {Juvenal Murwanashyaka},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Hilbert's Tenth Problem for Term Algebras with a Substitution Operator},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {196--207},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_17},
doi = {10.1007/978-3-031-08740-0\_17},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Murwanashyaka22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Murwanashyaka22a,
author = {Juvenal Murwanashyaka},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Weak Sequential Theories of Finite Full Binary Trees},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {208--219},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_18},
doi = {10.1007/978-3-031-08740-0\_18},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Murwanashyaka22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Neumann22,
author = {Eike Neumann},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {On Envelopes and Backward Approximations},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {220--233},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_19},
doi = {10.1007/978-3-031-08740-0\_19},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Neumann22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/NgSYY22,
author = {Keng Meng Ng and
Frank Stephan and
Yue Yang and
Liang Yu},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {On Trees Without Hyperimmune Branches},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {234--245},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_20},
doi = {10.1007/978-3-031-08740-0\_20},
timestamp = {Thu, 28 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/NgSYY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/PetrakisW22,
author = {Iosif Petrakis and
Daniel Misselbeck{-}Wessel},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Algebras of Complemented Subsets},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {246--258},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_21},
doi = {10.1007/978-3-031-08740-0\_21},
timestamp = {Fri, 09 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/PetrakisW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/PradicS22,
author = {C{\'{e}}cilia Pradic and
Giovanni Sold{\`{a}}},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {259--271},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_22},
doi = {10.1007/978-3-031-08740-0\_22},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/PradicS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders22,
author = {Sam Sanders},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Reverse Mathematics of the Uncountability of {\(\mathbb{R}\)}},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {272--286},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_23},
doi = {10.1007/978-3-031-08740-0\_23},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Selivanov22,
author = {Victor L. Selivanov},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {287--298},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_24},
doi = {10.1007/978-3-031-08740-0\_24},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Selivanov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Selivanova22,
author = {Svetlana Selivanova},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Computational Complexity of Classical Solutions of Partial Differential
Equations},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {299--312},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_25},
doi = {10.1007/978-3-031-08740-0\_25},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Selivanova22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Stirton22,
author = {William R. Stirton},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Barendregt's Problem {\#}26 and Combinatory Strong Reduction},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {313--326},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_26},
doi = {10.1007/978-3-031-08740-0\_26},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Stirton22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2022,
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0},
doi = {10.1007/978-3-031-08740-0},
isbn = {978-3-031-08739-4},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/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 2025-02-20 17:52 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:
