1
|
Bazhenov N.
, Mustafa M.
, Ospichev S.
, San Mauro L.
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy
Synthese. 2023.
V.201. N2. 55
:1-25. DOI: 10.1007/s11229-023-04056-y
WOS
Scopus
РИНЦ
OpenAlex
|
2
|
Bazhenov N.
, Ospichev S.
, Yamaleev M.M.
Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy
In compilation
Aspects of Computation and Automata Theory with Applications.
– World Scientific Publishing Co. Pte. Ltd..,
2023.
– Т.42. – C.97-114. – ISBN 9789811278624. DOI: 10.1142/9789811278631_0004
Scopus
OpenAlex
|
3
|
Bazhenov N.
, Mustafa M.
, Ospichev S.
Rogers semilattices of punctual numberings
Mathematical Structures in Computer Science. 2022.
V.32. N2. P.164-188. DOI: 10.1017/S0960129522000093
WOS
Scopus
РИНЦ
OpenAlex
|
4
|
Bazhenov N.
, Mustafa M.
, Ospichev S.
, San Mauro L.
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy
Lecture Notes in Computer Science. 2021.
P.1-13. DOI: 10.1007/978-3-030-88708-7_1
Scopus
OpenAlex
|
5
|
Bazhenov N.A.
, Ospichev S.S.
, Mustafa M.
On universal pairs in the Ershov hierarchy
Сибирский математический журнал. 2021.
V.62. N1. P.31-41. DOI: 10.33048/smzh.2021.62.103
OpenAlex
|
6
|
Goncharov S.
, Ospichev S.
, Ponomaryov D.
, Sviridenko D.
The expressiveness of looping terms in the semantic programming
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020.
V.17. 024
:1-15. DOI: 10.33048/SEMI.2020.17.024
WOS
Scopus
OpenAlex
|
7
|
Bazhenov N.A.
, Mustafa M.
, Ospichev S.S.
, Yamaleev M.M.
Numberings in the analytical hierarchy
Алгебра и логика. 2020.
V.59. N5. P.594-599. DOI: 10.33048/alglog.2020.59.506
OpenAlex
|
8
|
Bazhenov N.
, Mustafa M.
, Ospichev S.
Semilattices of Punctual Numberings
Lecture Notes in Computer Science. 2020.
P.1-12. DOI: 10.1007/978-3-030-59267-7_1
Scopus
OpenAlex
|
9
|
Bazhenov N.
, Mustafa M.
, Ospichev S.
Bounded Reducibility for Computable Numberings
Lecture Notes in Computer Science. 2019.
P.96-107. DOI: 10.1007/978-3-030-22996-2_9
Scopus
OpenAlex
|
10
|
Ospichev S.S.
Friedberg numberings of families of partial computable functionals
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019.
V.16. P.331-339. DOI: 10.33048/semi.2019.16.020
WOS
Scopus
OpenAlex
|
11
|
Оспичев С.С.
, PONOMAREV D.K.
ON THE COMPLEXITY OF FORMULAS IN SEMANTIC
PROGRAMMING
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018.
Т.15. С.987–995. DOI: 10.17377/semi.2018.15.083
WOS
Scopus
|