On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
Attributed to:
Isaac Newton Institute for Mathematical Sciences
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-30229-0_2
Publication URI: http://dx.doi.org/10.1007/978-3-030-30229-0_2
Type: Book Chapter
Book Title: Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (2020)
Page Reference: 29-54