DSpace Repository

Browsing 13.Materials of Forums, Conferences and Projects by Subject "theorem"

Browsing 13.Materials of Forums, Conferences and Projects by Subject "theorem"

Sort by: Order: Results:

  • ALIAS calculus for a simple imperative language 
    Shilov, N. V. (Nazarbayev University, 2014)
    This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory".