Эффективная трансляция расширенных
Gespeichert in:
| Titel: | Эффективная трансляция расширенных |
|---|---|
| Verlagsinformationen: | Тверской госуниверситет, 2008. |
| Publikationsjahr: | 2008 |
| Schlagwörter: | 510.652 Формальная арифметика. Формальная теория чисел |
| Beschreibung: | Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул. |
| Publikationsart: | Article |
| Dateibeschreibung: | application/pdf |
| Sprache: | Russian |
| Zugangs-URL: | https://openrepository.ru/article?id=434886 |
| Dokumentencode: | edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd |
| Datenbank: | OpenAIRE |
Nájsť tento článok vo Web of Science Schreiben Sie den ersten Kommentar!