Book 717 views
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Monika Seisenberger 
,
Peter Schuster ,
Andreas Weiermann
,
Peter Schuster ,
Andreas Weiermann
Trends in Logic, Volume: 1
Swansea University Author:
Monika Seisenberger
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-030-30229-0
Abstract
Well-Quasi Orders in Computation, Logic, Language and Reasoning
| Published in: | Trends in Logic |
|---|---|
| ISBN: | 9783030302283 9783030302290 |
| ISSN: | 1572-6126 2212-7313 |
| Published: |
Cham
Springer International Publishing
2020
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58077 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
Well Quasi-order, Combinatorics, Graph Theory, Proof Theory, Descriptive Set Theory, Maximal Order, Type, Ordinal Notation System, Reverse Mathematics, Graph-minor Theorem, Termination Proofs, constructive mathematics, computational content of classical proofs, Theorem Proving and Verification, discrete mathematics, commutative algebra, braid groups ,analytic combinatorics, subrecursive hierarchies, theory of relations, Kriz's Theorem. |
|---|---|
| College: |
Faculty of Science and Engineering |