Standard

Foundations of online structure theory. / Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander et al.

In: Bulletin of Symbolic Logic, Vol. 25, No. 2, 01.06.2019, p. 141-181.

Research output: Contribution to journal › Article › peer-review

Harvard

Bazhenov, N, Downey, R, Kalimullin, I & Melnikov, A 2019, 'Foundations of online structure theory', Bulletin of Symbolic Logic, vol. 25, no. 2, pp. 141-181. https://doi.org/10.1017/bsl.2019.20

APA

Bazhenov, N., Downey, R., Kalimullin, I., & Melnikov, A. (2019). Foundations of online structure theory. Bulletin of Symbolic Logic, 25(2), 141-181. https://doi.org/10.1017/bsl.2019.20

Vancouver

Bazhenov N, Downey R, Kalimullin I, Melnikov A. Foundations of online structure theory. Bulletin of Symbolic Logic. 2019 Jun 1;25(2):141-181. doi: 10.1017/bsl.2019.20

Author

Bazhenov, Nikolay ; Downey, Rod ; Kalimullin, Iskander et al. / Foundations of online structure theory. In: Bulletin of Symbolic Logic. 2019 ; Vol. 25, No. 2. pp. 141-181.

BibTeX

@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",

}

RIS

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 -

ID: 21058927