|
Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2012, Issue 2, Pages 5–10
(Mi vtpmk209)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Theoretical Foundations of Computer Science
Lower boundary of time to resolve the theory with the exponential function
A. S. Snyatkov Tver State University, Tver
Abstract:
In the paper we investigate decision time of natural number theories with addition
and exponent. We show that needs at less hyperexponential time.
Keywords:
arithmetical theory, computational complexity, exponent.
Received: 23.05.2012 Revised: 25.05.2012
Linking options:
https://www.mathnet.ru/eng/vtpmk209
|
|