1 - 5 из 5Размер страницы: 10
Сортировать по:: Заголовок

  1. A Lopez-Escobar theorem for continuous domains

    Bazhenov, N., Fokina, E., Rossegger, D., Soskova, A. & Vatev, S., 2024, в: Journal of Symbolic Logic. 90, 2, стр. 854-871 18 стр.

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

  2. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., янв. 2025, в: Annals of Pure and Applied Logic. 176, 1, 103491.

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

  3. On cardinalities of Rogers semilattices for families in the Ershov hierarchy

    Ng, K. M., Bazhenov, N., Kalmurzayev, B. & Nurlanbek, D., нояб. 2025, в: Information and Computation. 307, 13 стр., 105354.

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

  4. On Learning Existentially Definable Subsets in a Computable Structure

    Bazhenov, N. & Mustafa, M., 20 июн. 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Том 15764. стр. 143-158 16 стр. (Lecture Notes in Computer Science).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  5. Online and Feasible Presentability: From Trees to Modal Algebras

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 30 июн. 2025, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 стр. 142. (Leibniz International Proceedings in Informatics, LIPIcs; том 334).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

ID: 3523286