Weiermann, Andreas books & textbook
Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings (Theoretical Computer Science and General Issues)
De Mol, Liesbeth Weiermann, Andreas Manea, Florin Fernández-Duque, David
Springer /2021-07-02 Paperback / 532 Pages
isbn-10: 3030800482 / isbn-13: 9783030800482
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)
Schuster, Peter M. Seisenberger, Monika Weiermann, Andreas
Springer /2021-08-26 Paperback / 404 Pages
isbn-10: 3030302318 / isbn-13: 9783030302313
