< Back to previous page

Publication

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

Book - Book

Number of pages: 1

Publication year:2020

Handle: http://hdl.handle.net/1854/LU-8672460
DOI: https://doi.org/10.1007/978-3-030-30229-0

Accessibility:Closed