Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Author(s)
Bibliographic Information
Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
（Trends in logic : studia logica library, v. 53）
Springer, c2020
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
