Article contents
Finite automata, real time processes and counting problems in bounded arithmetics
Published online by Cambridge University Press: 12 March 2014
Abstract
In this paper we present a negative solution of counting problems for some classes slightly different from bounded arithmetic (Δ 0sets). To get the results we study properties of chains of finite automata.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1988
References
REFERENCES
- 2
- Cited by