1 - 3 out of 3Page size: 10
  1. 2024

  2. 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 Science and Business Media Deutschland GmbH, 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

  3. 2021

  4. Computable metrics above the standard real metric

    Kornev, R., 2021, In: Siberian Electronic Mathematical Reports. 18, 1, p. 377-392 16 p., 29.

    Research output: Contribution to journal › Article › peer-review

  5. 2017

  6. Reducibility of Computable Metrics on the Real Line

    Kornev, R. A., 1 Sept 2017, In: Algebra and Logic. 56, 4, p. 302-317 16 p.

    Research output: Contribution to journal › Article › peer-review

ID: 3505495