Partial Decidable Presentations in Hyperarithmetic
Crossref DOI link: https://doi.org/10.1134/S0037446619030091
Published Online: 2019-06-13
Published Print: 2019-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kalimullin, I. Sh.
Puzarenko, V. G.
Faizrahmanov, M. Kh.
Text and Data Mining valid from 2019-05-01
Version of Record valid from 2019-05-01
Article History
Received: 8 June 2018
Revised: 8 June 2018
Accepted: 19 December 2018
First Online: 13 June 2019