All Stories

  1. Nearly computable real numbers

    Article • Computability, October 2023, IOS Press

    Peter Hertling

  2. EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces

    Article • ACM Transactions on Computational Logic, October 2021, ACM (Association for Computing Machinery)

    Peter Hertling, Gisela Krommes

  3. Forests describing Wadge degrees and topological Weihrauch degrees of certain computational problems

    Article • Computability, July 2020, IOS Press

    Peter Hertling