Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Эффективная трансляция расширенных |
| Στοιχεία εκδότη: |
Тверской госуниверситет, 2008. |
| Έτος έκδοσης: |
2008 |
| Θεματικοί όροι: |
510.652 Формальная арифметика. Формальная теория чисел |
| Περιγραφή: |
Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул. |
| Τύπος εγγράφου: |
Article |
| Περιγραφή αρχείου: |
application/pdf |
| Γλώσσα: |
Russian |
| Σύνδεσμος πρόσβασης: |
https://openrepository.ru/article?id=434886 |
| Αριθμός Καταχώρησης: |
edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd |
| Βάση Δεδομένων: |
OpenAIRE |