Standard

Primitive recursive ordered fields and some applications. / Селиванов, Виктор Львович; Селиванова, Светлана Викторовна.

In: Computability, Vol. 12, 2023, p. 71–99.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

BibTeX

@article{ac9f9e3a88b6420cb63feb51df167871,
title = "Primitive recursive ordered fields and some applications",
author = "Селиванов, {Виктор Львович} and Селиванова, {Светлана Викторовна}",
note = "V. Selivanov, S. Selivanova. Primitive recursive ordered fields and some applications, Computability, 12 (2023) 71–99, DOI: 10.3233/COM-210386",
year = "2023",
doi = "10.3233/COM-210386",
language = "English",
volume = "12",
pages = "71–99",
journal = "Computability",
issn = "2211-3568",
publisher = "IOS Press",

}

RIS

TY - JOUR

T1 - Primitive recursive ordered fields and some applications

AU - Селиванов, Виктор Львович

AU - Селиванова, Светлана Викторовна

N1 - V. Selivanov, S. Selivanova. Primitive recursive ordered fields and some applications, Computability, 12 (2023) 71–99, DOI: 10.3233/COM-210386

PY - 2023

Y1 - 2023

U2 - 10.3233/COM-210386

DO - 10.3233/COM-210386

M3 - Article

VL - 12

SP - 71

EP - 99

JO - Computability

JF - Computability

SN - 2211-3568

ER -

ID: 126990124