View in EDS

ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ

Saved in:

Bibliographic Details
Title:	ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ
Publisher Information:	Тверской госуниверситет, 2015.
Publication Year:	2015
Subject Terms:	510.652 Формальная арифметика. Формальная теория чисел
Description:	Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования
Document Type:	Article
File Description:	application/pdf
Language:	Russian
Access URL:	https://openrepository.ru/article?id=438357
Accession Number:	edsair.httpsopenrep..b73bca663b5c92577058a284368172c9
Database:	OpenAIRE

Description
Abstract:	Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования