On the Group of Computable Automorphisms of the Linear Order of the Reals

Kornev, R., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 405-419 15 p. 32. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review