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

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Produktform: E-Buch Text Elektronisches Buch in proprietärem

weiterlesen

zurück