In EDS ansehen

Эффективная трансляция расширенных

Gespeichert in:

Bibliographische Detailangaben
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

Beschreibung
Abstract:	Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.