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

  1. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 окт. 2023, в: Annals of Pure and Applied Logic. 174, 9, 25 стр., 103304.

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

  2. Computable Positive and Friedberg Numberings in Hyperarithmetic

    Kalimullin, I. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 1 мар. 2020, в: Algebra and Logic. 59, 1, стр. 46-58 13 стр.

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

  3. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 224-231 8 стр.

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

  4. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

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

  5. Computable metrics above the standard real metric

    Kornev, R., 2021, в: Siberian Electronic Mathematical Reports. 18, 1, стр. 377-392 16 стр., 29.

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

  6. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв. 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

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

  7. Computable Functionals of Finite Types in Montague Semantics

    Бурнистов, А. С. & Стукачев, А. И., 2024, в: Сибирские электронные математические известия. 21, 2, стр. 1460-1472 13 стр.

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

  8. Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings

    Ospichev, S. S., 1 июн. 2016, в: Journal of Mathematical Sciences (United States). 215, 4, стр. 529-536 8 стр.

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

  9. Computable Contact Algebras

    Bazhenov, N., 1 янв. 2019, в: Fundamenta Informaticae. 167, 4, стр. 257-269 13 стр.

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

  10. Computable Boolean Algebras and Complexity of the Fréchet Ideal

    Goncharov, S. S., сент. 2024, в: Journal of Mathematical Sciences (United States). 284, 1, стр. 72-82 11 стр.

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

Назад 1...2515 2516 2517 2518 2519 2520 2521 2522 ...2881 Далее