Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory | 978-3-O3O-3O228-3 (3-O3O-3O228-8) | 2019 | Peter M. Schuster · Monika Seisenberger |
A. W. · Andrea Werning · Andreas Werminghoff · Andreas Woehrmann · Andreas Wohrmann · Andrew Warmington · Andrzej Warminski