EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES

被引：0
|
作者：
YANOV, YI
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1957年 / 113卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：39 / 42
页数：4
相关论文
共 50 条
  • [41] On Birational Transformations of Hilbert Schemes of an Algebraic Surface
    A. S. Tikhomirov
    Mathematical Notes, 2003, 73 : 259 - 270
  • [42] The Evaluation of Paket C Equivalency Program Implementation in Tangerang District, Indonesia
    Herlyna
    Mukhtar, Mukhneri
    Sari, Eliana
    PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON INNOVATION IN EDUCATION (ICOIE 2018), 2018, 178 : 567 - 573
  • [43] ON THE EQUIVALENCE AND TRANSFORMATION OF PROGRAM SCHEMES
    IANOV, II
    COMMUNICATIONS OF THE ACM, 1958, 1 (10) : 8 - 12
  • [44] ECONOMY OF DESCRIPTION FOR PROGRAM SCHEMES
    TRUM, P
    WOTSCHKE, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 475 - 486
  • [45] Hierarchies in classes of program schemes
    Arratia-Quesada, AA
    Chauhan, SR
    Stewart, IA
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (06) : 915 - 957
  • [46] CONCURRENT PROGRAM SCHEMES AND THEIR LOGICS
    PELEG, D
    THEORETICAL COMPUTER SCIENCE, 1987, 55 (01) : 1 - 45
  • [47] A SYNTACTIC APPROACH TO PROGRAM TRANSFORMATIONS
    ARIOLA, ZM
    ARVIND
    SIGPLAN NOTICES, 1991, 26 (09): : 116 - 129
  • [48] Program Transformations in the POLCA Project
    Kuper, Jan
    Schubert, Lutz
    Kempf, Kilian
    Glass, Colin
    Bonilla, Daniel Rubio
    Carro, Manuel
    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 882 - 887
  • [49] Program transformations for information personalization
    Perugini, Saverio
    Ramakrishnan, Naren
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2010, 36 (03) : 223 - 249
  • [50] Probabilistically Accurate Program Transformations
    Misailovic, Sasa
    Roy, Daniel M.
    Rinard, Martin C.
    STATIC ANALYSIS, 2011, 6887 : 316 - 333
12345