Free Preview of Well-quasi Orders In Computation, Logic, Language And Reasoning: A Unifying Concept Of Proof Theory, Automata Theory, Formal Languages And Descriptive Set Theory
Well-quasi Orders In Computation, Logic, Language And Reasoning: A Unifying Concept Of Proof Theory, Automata Theory, Formal Languages And Descriptive Set Theory