CORE
đșđŠÂ
 make metadata, not war
Services
Research
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
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
10 research outputs found
Decision-procedures for invariant properties of short algorithms
Author
H. G. Rice
N. K. Kosovskii
N. K. Kosovskii
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
The neutronâphysical aspects of the converter reactor with singleâelement TFE
Author
Evgenii S. Glushkov
Georgii V. Kompanietz
+5Â more
Nikolai E. Kukharkin
Nikolai N. PonomarevâStepnoi
Oleg N. Smirnov
Veniamin A. Usov
Vyacheslav G. Kosovskii
Publication venue
'AIP Publishing'
Publication date
Field of study
No full text
Crossref
Prevention and rehabilitation of dairy herd from cattle leukemia
Author
+25Â more
A Mironov
Bobkova G
E Izhmulkina
Gendzhiev A
Guliukin M
Guliukin M
Ivanov O
Kosovskii G
Krasnikova E
Kriukov V
N Chalova
Novoseltsev G
O Prokhorov
O Smolovskaia
Ponomarenko D
Prokhorov O
Rudakova O
Simonian G
Stregnii B
T Zubova
Tsutsui T
V Pleshkov
Vinogradova I
Zavershinskaia O
Publication venue
'IOP Publishing'
Publication date
Field of study
No full text
Crossref
Hilbert's tenth problem
Author
A. I. Mal'tsev
A. N. Kolmogorov
+13Â more
D. Lacombe
G. V. Chudnovskii
G. V. Chudnovskii
J. P. Azra
J. Robinson
M. Davis
N. K. Kosovskii
S. K. Klinin
V. A. Uspenskii
Yu. I. Manin
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
A new proof of the theorem on exponential diophantine representation of enumerable sets
Author
D. Singmaster
E. E. Kummer
+18Â more
J. Robinson
J. Robinson
K. Hirose
M. Davis
M. Davis
M. Davis
M. Davis
N. K. Kosovskii
V. G. Durnev
Yu. I. Manin
Yu. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Yu. V. Matiyasevich
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
High-temperature reactor-converter ?Romashka?
Author
A. A. Efremov
A. S. Abramov
+24Â more
B. S. Pozdnyakov
E. A. Koptelov
E. N. Samarin
G. V. Kompaniets
I. G. Gverdtsiteli
L. V. Gorlov
M. D. Millionshchikov
M. V. Yakutovich
N. E. Kukharkin
N. N. Ponamarev-Stepnoi
R. Ya. Kucherov
S. P. Lalykin
V. A. Khodakov
V. A. Usov
V. E. Ivanov
V. F. Zhukov
V. G. Fedin
V. G. Kosovskii
V. I. Merkin
V. K. Kovyrzin
V. V. Yakovlev
V. Ya. Serov
Yu. A. Nechaev
Yu. D. Gubanov
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Hilbert's Tenth Problem is Unsolvable
Author
Baker Alan
Baker Alan
+24Â more
Davis Martin
Davis Martin
Davis Martin
Davis Martin
Davis Martin
Davis Martin
Davis Martin
Davis Martin
Davis Martin
Gödel Kurt
Hilbert David
Kosovskii N. K.
Martin Davis
MatiyaseviÄ Yuri
MatiyaseviÄ Yuri
MatiyaseviÄ Yuri
MatiyaseviÄ Yuri
Putnam Hilary
Robinson Julia
Robinson Julia
Robinson Julia
Robinson Julia
Robinson Raphael M.
Äudnovskii G. V.
Publication venue
'Informa UK Limited'
Publication date
Field of study
No full text
Crossref
Hilbertâs Tenth Problem: Diophantine Equations in the Twentieth Century
Author
A.A. Markov
C. Reid
+37Â more
C. Reid
E. L. Post
E. L. Post
E. L. Post
G. Kreisel
G. S. Makanin
G.V. Chudnovskii
G.V. Davydov
H. Putnam
J. Denef
J. Matijasevich
J. P. Jones
J. Robinson
J. Robinson
J.A. Robinson
K. Appel
K. Gödel
M. Davis
M. Davis
M. Davis
M. Davis
M. Davis
M. Davis
M. Davis
M. J. Wasteels
N.K. Kosovskii
N.N. Vorobiev
R. L. Graham
R. S. Rumely
T. Pheidas
V. P. Orevkov
Y. Matiyasevich
Yu. Matijasevich
Yu.V. Matiyasevich
Yu.V. Matiyasevich
Yu.V. Matiyasevich
Yu.V. Matiyasevich
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2006
Field of study
No full text
Crossref
Prevalence of Hypothyroidism in Nonalcoholic Fatty Liver Disease
Author
AH Taylor
AJ Bindels
+55Â more
AJ Chicco
AJ Sanyal
Arthur J. McCullough
C Ayala
C Rochon
Claudia O. Zein
D Hermann
DE Kleiner
E Bugianesi
E Pucci
EE Cable
EN Pearce
F Facchini
FG Toledo
G Baskol
G Dimitriadis
G Dimitriadis
G Marchesini
G Musso
G Siciliano
GD Dimitriadis
GJ Canaris
GP Shantha
JD Browning
K Begriche
K Obuobie
L Hegedus
Lisa M. Yerian
M Arrese
M Krotkiewski
MA Michalaki
Mangesh R. Pagadala
MC Carreras
MG Silveira
MI Kosovskii
MJ Smithson
MM Hassan
MS Freiberg
N Knudsen
N Nanda
N Villanova
NE Allen
NK Saxena
R Luboshitzky
R Vettor
Rocio Lopez
S Liangpunsakul
Srinivasan Dasarathy
T Bjoro
T OâBrien
U Leonhardt
VP Skulachev
Y Aoki
Y Benomar
Y Raftopoulos
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
Ecdysterone and its Activity on some Degenerative Diseases
Author
Bathory M.
Chen Q.
+69Â more
Chen Q.
Chen Q.
Chen Q.
Chermnykh N.S.
Chu W.
Chu W.
Dzhukharova M.K.
Gadzhieva R.M.
Gizatullina Z.Z.
Hock P.
Hoffmeister H.
Hou B.L.
Jayasinghe U.L.B.
Jin J.
Jin J.
Korkach YuP
Korkach YuP
Korkach YuP
Kosovskii M.I.
Kotsyuruba A.V.
Krasnov E.A.
Kratky F.
Kurmukov A.G.
Kuzmenko A.I.
Kuzmenko A.I.
Kuzmenko A.I.
Lin S.
Luo C.
Luo C.
Luo H.
Mirzaev YuR
Mirzaev YuR
Osynskaya L.P.
Sagach V.F.
Sagach V.F.
Semeikin A.V.
Shakhmurova G.A.
Shi F.
Shi F.
Shi F.
Shim J.H.
Simon P.
Slama K.
Smagghe G.
Song M.
Syrov V.N.
Syrov V.N.
Syrov V.N.
Syrov V.N.
Syrov V.N.
Syrov V.N.
Wang L.
Wu J.
Wu X.
Wu X.
Wu X.
Wu X.
Wu X.
Wu X.
Wu X.
Xu N.
Xu N.
Xu N.
Xu N.
Xu N.
Yang S.
Zhou Y.
Zozulya A.L.
Ć tech J.
Publication venue
'SAGE Publications'
Publication date
Field of study
No full text
Crossref
No full text
No full text
