A Dialectica-Like Interpretation of a Linear MSO on Infinite Words

Date first appeared online	05/04/2019
DOI	10.1007/978-3-030-17127-8_27
Authors	Pradic C.
Journal Name	Lecture Notes in Computer Science
Volume	11425

Documents

• 58114.pdf , Book, © The Author(s) 2019. This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License