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 条

[21] On the equivalence of recursive and nonrecursive Datalog programs
Chaudhuri, S
Vardi, MY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1997, 54 (01) : 61 - 78
[22] A FORMALISM FOR TREATING EQUIVALENCE OF RECURSIVE PROCEDURES
PELIN, A
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1985, 19 (03): : 293 - 313
[23] Monotone recursive types and recursive data representations in Cedille
Jenkins, Christopher
Stump, Aaron
Mathematical Structures in Computer Science, 2021, 31 (06) : 682 - 745
[24] On resemblance and recursive isomorphism types of partial recursive functions
Polyakov, EA
SIBERIAN MATHEMATICAL JOURNAL, 2001, 42 (01) : 131 - 133
[25] On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions
E. A. Polyakov
Siberian Mathematical Journal, 2001, 42 : 131 - 133
[26] RECURSIVE ISOMORPHISM TYPES OF RECURSIVE BOOLEAN-ALGEBRAS
REMMEL, JB
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 572 - 594
[27] On the resemblance and recursive isomorphism types of partial recursive functions
N. V. Litvinov
Siberian Mathematical Journal, 2000, 41 : 138 - 140
[28] TYPES OF SIMILARITY AND OF RECURSIVE ISOMORPHISM OF PARTIAL RECURSIVE FUNCTIONS
POLYAKOV, EA
SIBERIAN MATHEMATICAL JOURNAL, 1989, 30 (06) : 993 - 998
[29] On the resemblance and recursive isomorphism types of partial recursive functions
Litvinov, NV
SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (01) : 138 - 140
[30] PRIMITIVELY RECURSIVE CATEGORICITY FOR UNARS AND EQUIVALENCE STRUCTURES
Blinov, K., V
SIBERIAN MATHEMATICAL JOURNAL, 2021, 62 (06) : 994 - 1009

← 1 2 3 4 5 →