ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ
Gespeichert in:
| 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 Schreiben Sie den ersten Kommentar!