Показать сокращенную информацию
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 |