Search CORE

3 research outputs found

Bounded Reducibility for Computable Numberings

Author: AB Khutoretskii
AH Lachlan
AH Lachlan
AI Mal’cev
AN Kolmogorov
H Friedman
H Rogers
J Case
K Ambos-Spies
K Gödel
MB Pour-El
RM Friedberg
S Badaev
S Gao
S Jain
SA Badaev
SA Badaev
SA Badaev
SC Kleene
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Ospichev
SY Podzorov
VA Uspenskii
VL Selivanov
YL Ershov
YL Ershov
YL Ershov
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Semilattices of Punctual Numberings

Author: AB Khutoretskii
AH Lachlan
AH Lachlan
AI Mal’cev
AN Kolmogorov
H Rogers
I Herbert
I Kalimullin
J Case
K Ambos-Spies
K Gödel
MB Pour-El
N Bazhenov
S Badaev
S Jain
SA Badaev
SA Badaev
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Ospichev
SY Podzorov
VA Uspenskii
VL Selivanov
YL Ershov
YL Ershov
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Definable Subsets of Polynomial-Time Algebraic Structures

Author: A Fröhlich
A Konovalov
AG Melnikov
AG Melnikov
AI Mal’tsev
CJ Ash
CJ Ash
D Cenzer
DA Cenzer
I Kalimullin
J Barwise
MO Rabin
MV Korovina
N Bazhenov
N Bazhenov
P Alaev
PE Alaev
PE Alaev
PE Alaev
R Vajtsenavichyus
S Goncharov
S Grigorieff
S Ospichev
SA Aleksandrova
SP Odintsov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
V Selivanov
V Selivanov
YL Ershov
YL Ershov
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core