SOME APPLICATION OF COOPER ALGEBRAS TO THE THEORY OF TAIL RECURSION IN LOGIC PROGRAMMING

被引：0

|

作者：

GAVRILENKO, IV

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1990年 / 312卷 / 05期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1033 / 1037

页数：5

相关论文

共 50 条

[1] RECURSION AND ITERATION ON COOPER ALGEBRAS
GAVRILENKO, IV
[J]. DOKLADY AKADEMII NAUK SSSR, 1990, 312 (02): : 265 - 269
[2] PRIMITIVE-RECURSION ON FINITELY-EXPANDABLE COOPER ALGEBRAS
GAVRILENKO, IV
[J]. DOKLADY AKADEMII NAUK SSSR, 1990, 313 (04): : 782 - 786
[3] AN APPLICATION OF RECURSION THEORY TO ANALYSIS
Yu, Liang
[J]. BULLETIN OF SYMBOLIC LOGIC, 2020, 26 (01) : 15 - 25
[4] SOME STONE SPACES AND RECURSION THEORY
NERODE, A
[J]. DUKE MATHEMATICAL JOURNAL, 1959, 26 (03) : 397 - 406
[5] BASIC RECURSION-THEORY IN PARTIALLY ORDERED MODELS OF SOME FRAGMENTS OF THE COMBINATORY-LOGIC
ZASHEV, JA
[J]. DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1984, 37 (05): : 561 - 564
[6] CONSTRUCTIVE MATHEMATICS AS A PROGRAMMING LOGIC .1. SOME PRINCIPLES OF THEORY
CONSTABLE, RL
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 64 - 77
[7] THE RECURSION-THEORETIC COMPLEXITY OF THE SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
BLAIR, HA
[J]. INFORMATION AND CONTROL, 1982, 54 (1-2): : 25 - 47
[8] OMITTING TYPES - APPLICATION TO RECURSION THEORY
GRILLIOT, TJ
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 81 - &
[9] SOME METATHEOREMS OF LOGIC PROGRAMMING
FLANNAGAN, TB
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 842 - 842
[10] Logic, semantics and theory of programming
Nijholt, A
Scollo, G
Mönnich, U
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 354 (01) : 1 - 3

← 1 2 3 4 5 →