Computable model theory over the reals Научная публикация
Журнал |
Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349 |
||||
---|---|---|---|---|---|
Вых. Данные | Год: 2017, Том: 10010, Страницы: 354-365 Страниц : 12 DOI: 10.1007/978-3-319-50062-1_22 | ||||
Авторы |
|
||||
Организации |
|
Реферат:
This paper is a survey of results together with a list of open questions on Σ–definability of structures over HF(R), the hereditarily finite superstructure over the ordered field of the real numbers. © Springer International Publishing AG 2017.
Библиографическая ссылка:
Morozov A.S.
Computable model theory over the reals
Lecture Notes in Computer Science. 2017. V.10010. P.354-365. DOI: 10.1007/978-3-319-50062-1_22 Scopus OpenAlex
Computable model theory over the reals
Lecture Notes in Computer Science. 2017. V.10010. P.354-365. DOI: 10.1007/978-3-319-50062-1_22 Scopus OpenAlex
Идентификаторы БД:
Scopus: | 2-s2.0-85008477678 |
OpenAlex: | W2558458100 |
Цитирование в БД:
БД | Цитирований |
---|---|
OpenAlex | 1 |