Foundations of online structure theory

Nikolay Bazhenov; Rod Downey; Iskander Kalimullin; Alexander Melnikov

doi:10.1017/bsl.2019.20

Foundations of online structure theory

Nikolay Bazhenov, Rod Downey, Iskander Kalimullin, Alexander Melnikov

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

14 Цитирования (Scopus)

Аннотация

The survey contains a detailed discussion of methods and results in the new emerging area of online punctual structure theory. We also state several open problems.

Язык оригинала	английский
Страницы (с-по)	141-181
Число страниц	41
Журнал	Bulletin of Symbolic Logic
Том	25
Номер выпуска	2
DOI	https://doi.org/10.1017/bsl.2019.20
Состояние	Опубликовано - 1 июн 2019

Предметные области OECD FOS+WOS

1.01.QL ЛОГИКА
6.03.UA ФИЛОСОФИЯ

Доступ к документу

10.1017/bsl.2019.20

Другие файлы и ссылки

Link to publication in Scopus

Цитировать

@article{60831c7dbb964a1d969cfe7d4d049520,

title = "Foundations of online structure theory",

abstract = "The survey contains a detailed discussion of methods and results in the new emerging area of online punctual structure theory. We also state several open problems.",

keywords = "online computation, primitive recursion, punctual set theory, POLYNOMIAL-TIME, COMPLEXITY",

author = "Nikolay Bazhenov and Rod Downey and Iskander Kalimullin and Alexander Melnikov",

year = "2019",

month = jun,

day = "1",

doi = "10.1017/bsl.2019.20",

language = "English",

volume = "25",

pages = "141--181",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "2",

}

Foundations of online structure theory. / Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander.

В: Bulletin of Symbolic Logic, Том 25, № 2, 01.06.2019, стр. 141-181.

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

TY - JOUR

T1 - Foundations of online structure theory

AU - Bazhenov, Nikolay

AU - Downey, Rod

AU - Kalimullin, Iskander

AU - Melnikov, Alexander

PY - 2019/6/1

Y1 - 2019/6/1

N2 - The survey contains a detailed discussion of methods and results in the new emerging area of online punctual structure theory. We also state several open problems.

AB - The survey contains a detailed discussion of methods and results in the new emerging area of online punctual structure theory. We also state several open problems.

KW - online computation

KW - primitive recursion

KW - punctual set theory

KW - POLYNOMIAL-TIME

KW - COMPLEXITY

UR - http://www.scopus.com/inward/record.url?scp=85069631432&partnerID=8YFLogxK

U2 - 10.1017/bsl.2019.20

DO - 10.1017/bsl.2019.20

M3 - Article

AN - SCOPUS:85069631432

VL - 25

SP - 141

EP - 181

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

SN - 1079-8986

IS - 2

ER -

Foundations of online structure theory

Аннотация

Предметные области OECD FOS+WOS

Доступ к документу

Другие файлы и ссылки

Fingerprint

Цитировать