CORE
CO
nnecting
RE
positories
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Research partnership
About
About
About us
Our mission
Team
Blog
FAQs
Contact us
Community governance
Governance
Advisory Board
Board of supporters
Research network
Innovations
Our research
Labs
Filters
5 research outputs found
Categoricity for Primitive Recursive and Polynomial Boolean Algebras
Author
AV Aho
D Cenzer
+10 more
D Cenzer
D Cenzer
Iskander Kalimullin
JB Remmel
P. E. Alaev
PE Alaev
PE Alaev
SS Goncharov
SS Goncharov
SS Goncharov
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Definable Subsets of Polynomial-Time Algebraic Structures
Author
A Fröhlich
A Konovalov
+33 more
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
No full text
Crossref
Polynomial-Time Presentations of Algebraic Number Fields
Author
A Schrijver
AG Akritas
+18 more
AK Lenstra
AV Aho
BL Waerden Van der
CK Yap
D Cenzer
F Winkler
GE Collins
GE Collins
GE Collins
H Cohen
JL Balcázar
M Coste
MO Rabin
PE Alaev
R Loos
S Basu
YL Ershov
Z Jian-Ping
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Degree Spectra of Structures
Author
A Frolov
A Frolov
+48 more
A Kach
A Melnikov
A Tarski
AI Maltsev
AN Frolov
AN Frolov
AN Frolov
AN Frolov
B Andersen
B Khoussainov
BF Csima
C Ash
CC Chang
CG Jockusch
CG Jockusch
CJ Ash
D Diamondstone
DR Hirschfeldt
I Kalimullin
IS Kalimullin
IS Kalimullin
IS Kalimullin
J Barwise
JB Kruskal
JB Remmel
JF Knight
JF Knight
JJ Thurber
LJ Feiner
LJ Richter
NA Bazhenov
NA Bazhenov
NG Khisamiev
PE Alaev
PE Alaev
R Miller
RG Downey
RI Soare
S Goncharov
S Wehner
SS Goncharov
TA Slaman
U Andrews
VL Selivanov
W Calvert
YL Ershov
YL Ershov
YL Ershov
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Categoricity Spectra of Computable Structures
Author
A Fröhlich
AG Melnikov
+58 more
AG Melnikov
AI Mal’tsev
AI Mal’tsev
AI Mal’tsev
B Khoussainov
BA Anderson
BF Csima
BF Csima
BF Csima
C Ash
C McCoy
CC Chang
CJ Ash
CJ Ash
CJ Ash
CJ Ash
DR Hirschfeldt
E Fokina
E Fokina
E Fokina
G Metakides
H Rogers
J Chisholm
J Chisholm
JB Remmel
NA Bazhenov
NA Bazhenov
NA Bazhenov
NA Bazhenov
NA Bazhenov
NA Bazhenov
NA Bazhenov
O Levin
PE Alaev
R Downey
R Downey
R Downey
R Miller
R Miller
R Miller
R Miller
RG Downey
RI Soare
S Goncharov
S Lempp
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
SS Goncharov
W Calvert
W Calvert
W Calvert
YL Ershov
YL Ershov
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref