TY  - GEN
T1  - Well-quasi orders in computation, logic, language and reasoning :a unifying concept of proof theory, automata theory, formal languages and descriptive set theory /
DA  - 2020.
CY  - Cham :
AU  - Schuster, Peter M.
AU  - Seisenberger, Monika.
AU  - Weiermann, Andreas.
VL  - v.53
CN  - QA164
CN  - B1-5802
PB  - Springer,
PP  - Cham :
PY  - 2020.
ID  - 924225
KW  - Combinatorial analysis.
KW  - Set theory.
SN  - 9783030302290
SN  - 3030302296
TI  - Well-quasi orders in computation, logic, language and reasoning :a unifying concept of proof theory, automata theory, formal languages and descriptive set theory /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-30229-0
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-30229-0
ER  -