< Terug naar vorige pagina

Publicatie

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

Boek - Boek

Aantal pagina's: 1

Jaar van publicatie:2020

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

Toegankelijkheid:Closed