1 - 5 out of 5Page size: 10
  1. 2019

  2. On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 Nov 2019, In: Siberian Mathematical Journal. 60, 6, p. 1032-1039 8 p.

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

  3. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 185-198 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

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

  4. 2018

  5. Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 429-447 19 p.

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

  6. Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 Jan 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (eds.). Springer-Verlag GmbH and Co. KG, p. 241-255 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10742 LNCS).

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

  7. 2017

  8. Spectrum of the Field of Computable Real Numbers

    Korovina, M. V. & Kudinov, O. V., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 485-500 16 p.

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

ID: 3433594