Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
 
FOUNDATIONS OF ONLINE STRUCTURE THEORY
Form of presentationArticles in international journals and collections
Year of publication2019
Языканглийский
  • 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