FOUNDATIONS OF ONLINE STRUCTURE THEORY

dc.contributor.author	Bazhenov N.
dc.contributor.author	Downey R.
dc.contributor.author	Kalimullin I.
dc.contributor.author	Melnikov A.
dc.date.accessioned	2020-01-15T21:46:11Z
dc.date.available	2020-01-15T21:46:11Z
dc.date.issued	2019
dc.identifier.issn	1079-8986
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/155777
dc.description.abstract	Copyright © 2019 The Association for Symbolic Logic. 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.
dc.relation.ispartofseries	Bulletin of Symbolic Logic
dc.subject	online computation
dc.subject	primitive recursion
dc.subject	punctual set theory
dc.title	FOUNDATIONS OF ONLINE STRUCTURE THEORY
dc.type	Review
dc.relation.ispartofseries-issue	2
dc.relation.ispartofseries-volume	25
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	141
dc.source.id	SCOPUS10798986-2019-25-2-SID85069631432

Файлы в этом документе

Имя: SCOPUS10798986-20 ...

Размер: 54.42Kb

Формат: PDF

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.