Кафедра дискретной математики и информатики ММФ

Контактное лицо

Кафедра общей информатики ФИТ

Контактное лицо

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

Контактное лицо

Результаты исследований

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  2. On Decidability of List Structures

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Просмотреть все (3) »

ID: 3434690