Beyond the Horizon of Computability 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings Anselmo, Marcella Heftet / 2020 / Engelsk
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings Della Vedova, Gianluca Heftet / 2023 / Engelsk
