Section of Algebra and Mathematical Logic

Stream Data Analytics and Machine Learning laboratory

Международный научно-образовательный математический центр НГУ (ММЦ)

Research output

  1. The Existence of Primitive Recursive Structures

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  2. Decidable Models of Ehrenfeucht Theories

    Research output: Contribution to journalArticlepeer-review

  3. Inversion in P-Computable Fields

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

View all (10) »

ID: 3437321