21 - 23 out of 23Page size: 10
Sort by: Title

  1. 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

  2. A Topological Characterization of ITBM–Representable Relational Structures

    Morozov, A. S., 27 Aug 2026, In: Algebra and Logic. 64, 6, p. 432-434 3 p.

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

  3. A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

    Morozov, A. S., 1 May 2018, In: Siberian Mathematical Journal. 59, 3, p. 463-469 7 p.

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

Previous 1 2 3 Next

ID: 3438806