RECURSION IN LOGICS OF PROGRAMS.

被引：0
|
作者：
Harel, David
机构：
来源：
| 1979年
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
31
引用
收藏
页码：81 / 92
相关论文
共 50 条
  • [1] AUTOMATA-THEORETIC TECHNIQUES FOR MODAL LOGICS OF PROGRAMS.
    Vardi, Moshe Y.
    Wolper, Pierre
    [J]. 1600, (32):
  • [2] PARALLEL PROGRAMS.
    Kessels, J.L.W.
    Martin, A.J.
    [J]. Philips Technical Review, 1982, 40 (8-9): : 254 - 260
  • [3] REPLICATED DISTRIBUTED PROGRAMS.
    Cooper, Eric C.
    [J]. Operating Systems Review (ACM), 1985, 19 (05): : 63 - 78
  • [4] ABSTRACT EXECUTION OF PROGRAMS.
    Sarbo, J.
    [J]. Periodica Polytechnica Electrical Engineering, 1986, 30 (01): : 37 - 47
  • [5] Protection of Computer Programs.
    Betten, Juergen
    [J]. Elektronik Munchen, 1980, 29 (06): : 65 - 70
  • [6] Academic writing programs.
    Cummings, J
    [J]. CANADIAN MODERN LANGUAGE REVIEW-REVUE CANADIENNE DES LANGUES VIVANTES, 2002, 59 (02): : 323 - 325
  • [7] BASES FOR SURVEILLANCE PROGRAMS.
    Steele, L.E.
    [J]. ASTM Special Technical Publication, 1983, : 1 - 14
  • [8] ON THE DESIGN OF CONCURRENT PROGRAMS.
    Hehner, Eric C.R.
    [J]. INFOR Journal, 1980, 18 (04): : 289 - 299
  • [9] French Space Programs.
    Curien, Hubert
    [J]. Onde electrique, 1984, 64 (01): : 59 - 63
  • [10] PRINCIPLES FOR DISTRIBUTING PROGRAMS.
    Sintzoff, Michel
    [J]. Instrument Maintenance Management, 1979, 70 : 337 - 347
12345