Schuster, Peter M. (Hrsg.)
Seisenberger, Monika (Hrsg.)
Weiermann, Andreas (Hrsg.)
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-030-30229-0 |
|---|---|
| Seitenzahl | 391 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 5739 Kbytes |