Section of Discrete Mathematics and Computer Science of MMD and SESC

Contact

General Informatics Section

Contact

Международный научно-образовательный математический центр НГУ (ММЦ)

Contact

Research output

  1. On Σ-Definability Over Hereditarily Finite and List Superstructures

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

  2. On Decidability of List Structures

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

  3. Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

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

View all (3) »

ID: 3434690