STRUCTURE OF CLOSED CLASSES OF COMPUTABLE FUNCTIONS AND PREDICATES

被引：0

|

作者：

SOLOVEV, VD

机构：

来源：

IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA | 1982年 / 12期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：51 / 56

页数：6

相关论文

共 50 条

[1] CLOSED SYSTEMS OF FUNCTIONS AND PREDICATES
GEIGER, D
PACIFIC JOURNAL OF MATHEMATICS, 1968, 27 (01) : 95 - &
[2] Absolutely non-computable predicates and functions in analysis
Weihraucht, Klaus
Wu, Yongcheng
Ding, Decheng
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (01) : 59 - 71
[3] CLASSES OF COMPLEXITY AND CLASSES OF SIGNALING COMPUTABLE FUNCTIONS
MATROSOV, VL
DOKLADY AKADEMII NAUK SSSR, 1976, 226 (03): : 513 - 515
[4] Absolutely non-effective predicates and functions in computable analysis
Ding, Decheng
Weihrauch, Klaus
Wu, Yongcheng
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 595 - +
[5] NUMBER OF FUNCTIONS IN CLASSES GIVEN BY CENTRAL PREDICATES
ALEKSEEV, VB
MATHEMATICAL NOTES, 1985, 37 (5-6) : 482 - 485
[6] COMPLETENESS PROBLEMS IN CLASSES OF COMPUTABLE NAMED FUNCTIONS
BUI, DB
GUBSKII, BV
REDKO, VN
CYBERNETICS, 1988, 24 (04): : 456 - 466
[7] CHARACTERIZING CLASSES OF FUNCTIONS COMPUTABLE BY QUANTUM PARALLELISM
JOZSA, R
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1991, 435 (1895): : 563 - 574
[8] ON COMPUTABLE CLASSES OF EQUIDISTANT SETS: EQUIDISTANT FUNCTIONS
Vincze, Cs
Varga, A.
Olah, M.
Forian, L.
MISKOLC MATHEMATICAL NOTES, 2018, 19 (01) : 677 - 689
[9] FORMULAS OF RESTRICTED PREDICATE CALCULUS DISTINGUISHING SOME CLASSES OF MODELS WITH SIMPLY COMPUTABLE PREDICATES
SHEVYAKO.VS
DOKLADY AKADEMII NAUK SSSR, 1973, 210 (02): : 285 - 287
[10] Initial segments of computable linear orders with additional computable predicates
Zubkov, M. V.
ALGEBRA AND LOGIC, 2009, 48 (05) : 321 - 329

← 1 2 3 4 5 →