Product Description
ISBN: 9783030302313
TITLE: Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory : 53
AUTHOR: Peter M. Schuster
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 26 Aug 2021