Sciact
Toggle navigation
  • EN
  • RU

Sections:

  • Articles
  • Books
  • Conference attendances
  • Conference theses
  • Patents

Conference theses (8)

# Публикация
1 Kogabaev N.T.
Complexity of the problem of ∀-representability for sentences
In compilation Тезисы докладов международной конференции "Мальцевские чтения", 11-15 ноября 2024 г.. 2024. – C.74-74.
2 Kogabaev N.
Complexity of the problem of Horn representability for sentences
In compilation The Fifth Workshop on Digitalization and Computable Models (WDCM-2023), October 2-6, 2023, Book of Abstracts, Astana, 2023. 2023. – C.9-9.
3 Kogabaev N.T.
Systems of Diophantine equations over finite configurations
In compilation Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.139-139. РИНЦ
4 Kogabaev N.T.
Complexity of the problem of being equivalent to Horn sentences
In compilation Тезисы докладов международной конференции "Мальцевские чтения". 2022. РИНЦ
5 Kogabaev N.T.
On closure of configurations in freely generated projective planes
In compilation Международная конференция «Мальцевские чтения». 20–24 сентября 2021 г. : Тезисы докладов. – ИМ СО РАН, НГУ., 2021. – C.138.
6 Когабаев Н.Т.
О сложности проблемы эквивалентности хорновским формулам
In compilation Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 16–20 ноября 2020 г. Тезисы докладов. 2020. – C.123. РИНЦ
7 Kogabaev N.T.
Sacerdote's theorem and free projective planes
In compilation Международная конференция «Мальцевские чтения», 19-23 августа 2019 г. Тезисы докладов.. – ИМ СО РАН, НГУ., 2019. – C.199.
8 Kogabaev N.
Computable dimension and projective planes
In compilation Sixteenth Asian Logic Conference, Nazarbayev University, Nur-Sultan, Kazakhstan, June 17-21, 2019.. 2019. – C.10-11.
1   /  1   -  Total 8 records

Filter

Order

Field Direction

Columns

Reset