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

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

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

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

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

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

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

  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