ANALYTIC INDUCTIVE DEFINITIONS

被引：0

|

作者：

CENZER, D ^{[1
]}

机构：

[1] UNIV FLORIDA,GAINESVILLE,FL 32601

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1973年 / 20卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A376 / A376

页数：1

相关论文

共 50 条

[1] ANALYTIC INDUCTIVE DEFINITIONS
CENZER, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 310 - 312
[2] Inductive-Inductive Definitions
Forsberg, Fredrik Nordvall
Setzer, Anton
[J]. COMPUTER SCIENCE LOGIC, 2010, 6247 : 454 - 468
[3] On the complexity of inductive definitions
Cenzer, Douglas
Remmel, Jeffrey B.
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (05) : 763 - 788
[4] Transforming inductive definitions
Proietti, M
Pettorossi, A
[J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 486 - 499
[5] Topological inductive definitions
Curi, Giovanni
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (11) : 1471 - 1483
[6] PARTIAL INDUCTIVE DEFINITIONS
HALLNAS, L
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 87 (01) : 115 - 142
[7] INDUCTIVE DEFINITIONS AND COMPUTABILITY
GRILLIOT, TJ
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 158 (02) : 309 - &
[8] ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
Curi, Giovanni
[J]. JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (02) : 598 - 616
[9] FUNCTIONAL INTERPRETATION AND INDUCTIVE DEFINITIONS
Avigad, Jeremy
Towsner, Henry
[J]. JOURNAL OF SYMBOLIC LOGIC, 2009, 74 (04) : 1100 - 1120
[10] THE FUNCTIONAL DIMENSION OF INDUCTIVE DEFINITIONS
DEROUGEMONT, M
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 101 (01) : 143 - 158

← 1 2 3 4 5 →