Bibliographische Detailangaben
| Titel: |
ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ |
| Verlagsinformationen: |
Тверской госуниверситет, 2015. |
| Publikationsjahr: |
2015 |
| Schlagwörter: |
510.652 Формальная арифметика. Формальная теория чисел |
| Beschreibung: |
Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования |
| Publikationsart: |
Article |
| Dateibeschreibung: |
application/pdf |
| Sprache: |
Russian |
| Zugangs-URL: |
https://openrepository.ru/article?id=438357 |
| Dokumentencode: |
edsair.httpsopenrep..b73bca663b5c92577058a284368172c9 |
| Datenbank: |
OpenAIRE |
Nájsť tento článok vo Web of Science