No Cover Image

Book 149 views

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Monika Seisenberger Orcid Logo, Peter Schuster Orcid Logo, Andreas Weiermann Orcid Logo

Trends in Logic, Volume: 1

Swansea University Author: Monika Seisenberger Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Trends in Logic
ISBN: 9783030302283 9783030302290
ISSN: 1572-6126 2212-7313
Published: Cham Springer International Publishing 2020
Online Access: Check full text

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