CALCULATION OF RECURSIVE PROGRAMS

被引：0
|
作者：
RACHANSKI, V
机构：
来源：
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI | 1979年 / 10期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：853 / 855
页数：3
相关论文
共 50 条
  • [1] RECURSIVE LINEAR PROGRAMS
    KENNEDY, PE
    DAY, RH
    [J]. KEIO ECONOMIC STUDIES, 1976, 13 (01): : 1 - 11
  • [2] On finitely recursive programs
    Baselice, Sabrina
    Bonatti, Piero A.
    Criscuolo, Giovanni
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 213 - 238
  • [3] On finitely recursive programs
    Baselice, S.
    Bonatti, P. A.
    Criscuolo, G.
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 89 - +
  • [4] TRANSFORMATION OF RECURSIVE PROGRAMS
    VEILLON, G
    [J]. REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1976, 10 (09): : 7 - 20
  • [5] RECURSIVE-PROGRAMS
    FLEISCH, BD
    [J]. IEEE SPECTRUM, 1984, 21 (10) : 12 - 12
  • [6] RECURSIVE ASSERTIONS AND PARALLEL PROGRAMS
    APT, KR
    [J]. ACTA INFORMATICA, 1981, 15 (03) : 219 - 232
  • [7] Ranking abstraction of recursive programs
    Balaban, I
    Cohen, A
    Pnueli, A
    [J]. VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 267 - 281
  • [8] Realizability of Concurrent Recursive Programs
    Bollig, Benedikt
    Grindei, Manuela Lidia
    Habermehl, Peter
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 410 - 424
  • [9] Realizability of concurrent recursive programs
    Bollig, Benedikt
    Grindei, Manuela-Lidia
    Habermehl, Peter
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (03) : 339 - 362
  • [10] OPTIMAL APPROACH TO RECURSIVE PROGRAMS
    MANNA, Z
    SHAMIR, A
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (11) : 824 - 831
12345