Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ |
| Στοιχεία εκδότη: |
Тверской госуниверситет, 2016. |
| Έτος έκδοσης: |
2016 |
| Θεματικοί όροι: |
510.652 Формальная арифметика. Формальная теория чисел |
| Περιγραφή: |
Мы исследуем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования. Для формул с двумя кластерами мы строим конечный автомат для языка, состоящего из слов, соответствующих минимальной фиксированной точке |
| Τύπος εγγράφου: |
Article |
| Περιγραφή αρχείου: |
application/pdf |
| Γλώσσα: |
Russian |
| Σύνδεσμος πρόσβασης: |
https://openrepository.ru/article?id=438299 |
| Αριθμός Καταχώρησης: |
edsair.httpsopenrep..083bb7c2a617076fd0335a06e90ba1f7 |
| Βάση Δεδομένων: |
OpenAIRE |