|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 1970, Volume 113, Pages 79–101
(Mi tm3056)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
A certain characterization of the complexity of recursive predicates
R. I. Freidson
Citation:
R. I. Freidson, “A certain characterization of the complexity of recursive predicates”, Problems of the constructive direction in mathematics. Part 5, Trudy Mat. Inst. Steklov., 113, 1970, 79–101; Proc. Steklov Inst. Math., 113 (1970), 91–117
Linking options:
https://www.mathnet.ru/eng/tm3056 https://www.mathnet.ru/eng/tm/v113/p79
|
Statistics & downloads: |
Abstract page: | 140 | Full-text PDF : | 76 |
|