1. 2017
  2. On some reducibility and existential interpretability of structures

    Morozov, A. S., 1 Mar 2017, In: Siberian Mathematical Journal. 58, 2, p. 281-287 7 p.

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

  3. The Computational Power of Infinite Time Blum–Shub–Smale Machines

    Koepke, P. & Morozov, A. S., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 37-62 26 p.

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

  4. Computable model theory over the reals

    Morozov, A. S., 1 Jan 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, p. 354-365 12 p.

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

Previous 1 2 3 Next

ID: 3438806