Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Schuster, Peter M. Innbundet / 2020 / Engelsk
Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Schuster, Peter M. Heftet / 2021 / Engelsk
Connecting with Computability 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings De Mol, Liesbeth Heftet / 2021 / Engelsk