Fixed Point Logics and Definable Topological Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Fernández Duque, Quentin Gougeon. Fixed Point Logics and Definable Topological Properties. In Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings. Volume 13468 of Lecture Notes in Computer Science, pages 36-52, Springer, 2022. [doi]

This author has not been identified. Look up 'David Fernández Duque' in GoogleThis author has not been identified. Look up 'Quentin Gougeon' in Google

runs on WebDSL