Form of presentation | Articles in international journals and collections |
Year of publication | 2019 |
Язык | английский |
|
Kalimullin Iskander Shagitovich, author
|
Bibliographic description in the original language |
Bazhenov N, Downey R, Kalimullin I, Melnikov A. FOUNDATIONS OF ONLINE STRUCTURE THEORY//Bulletin of Symbolic Logic. - 2019. - Vol.25, Is.2. - P.141-181. |
Keywords |
primitive recursion, structures |
The name of the journal |
Bulletin of Symbolic Logic
|
URL |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85069631432&doi=10.1017%2fbsl.2019.20&partnerID=40&md5=decae38bf513eba5cb180077f8cc0d8f |
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=206628&p_lang=2 |
Full metadata record |
Field DC |
Value |
Language |
dc.contributor.author |
Kalimullin Iskander Shagitovich |
ru_RU |
dc.date.accessioned |
2019-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2019-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2019 |
ru_RU |
dc.identifier.citation |
Bazhenov N, Downey R, Kalimullin I, Melnikov A. FOUNDATIONS OF ONLINE STRUCTURE THEORY//Bulletin of Symbolic Logic. - 2019. - Vol.25, Is.2. - P.141-181. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=206628&p_lang=2 |
ru_RU |
dc.description.abstract |
Bulletin of Symbolic Logic |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
primitive recursion |
ru_RU |
dc.subject |
structures |
ru_RU |
dc.title |
FOUNDATIONS OF ONLINE STRUCTURE THEORY |
ru_RU |
dc.type |
Articles in international journals and collections |
ru_RU |
|