RECURSIVE EQUIVALENCE TYPES AND OCTAHEDRA

被引：0
|
作者：
DEKKER, JCE [1 ]
机构：
[1] RUTGERS STATE UNIV, NEW BRUNSWICK, NJ 08903 USA
来源：
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS | 1983年 / 34卷 / FEB期
关键词：
D O I：
10.1017/S1446788700019790
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：101 / 113
页数：13
相关论文
共 50 条
  • [31] On the decidability of the equivalence problem for monadic recursive programs
    Zakharov, VA
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2000, 34 (02): : 157 - 171
  • [32] OPERATIONAL AND SEMANTIC EQUIVALENCE BETWEEN RECURSIVE PROGRAMS
    RAOULT, JC
    VUILLEMIN, J
    JOURNAL OF THE ACM, 1980, 27 (04) : 772 - 796
  • [33] EQUIVALENCE OF INTEGER PROGRAMS TO CONSTRAINED RECURSIVE SYSTEMS
    KAPPAUF, CH
    MANAGEMENT SCIENCE SERIES B-APPLICATION, 1975, 21 (12): : 1471 - 1476
  • [34] Inference rules for proving the equivalence of recursive procedures
    Godlin, Benny
    Strichman, Ofer
    ACTA INFORMATICA, 2008, 45 (06) : 403 - 439
  • [35] Inference rules for proving the equivalence of recursive procedures
    Benny Godlin
    Ofer Strichman
    Acta Informatica, 2008, 45 : 403 - 439
  • [36] Deep Recursive Network Embedding with Regular Equivalence
    Tu, Ke
    Cui, Peng
    Wang, Xiao
    Yu, Philip S.
    Zhu, Wenwu
    KDD'18: PROCEEDINGS OF THE 24TH ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY & DATA MINING, 2018, : 2357 - 2366
  • [37] Primitively Recursive Categoricity for Unars and Equivalence Structures
    K. V. Blinov
    Siberian Mathematical Journal, 2021, 62 : 994 - 1009
  • [38] EQUIVALENCE OF EQUATIONAL AND SENTENTIAL GENERAL RECURSIVE ARITHMETICS
    RYAN, WJ
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1976, 14 (DEC): : 463 - 475
  • [39] EQUIVALENCE OF INTEGER PROGRAMS TO CONSTRAINED RECURSIVE SYSTEMS
    NANDA, PS
    MANAGEMENT SCIENCE SERIES A-THEORY, 1973, 19 (07): : 809 - 824
  • [40] EQUIVALENCE OF SOME HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
    HARROW, K
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (05): : 411 - 418
12345