Presburgerness of predicates regular in two number systems
- 1 January 1977
- journal article
- Published by Springer Nature in Siberian Mathematical Journal
- Vol. 18 (2) , 289-300
- https://doi.org/10.1007/bf00967164
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On the base-dependence of sets of numbers recognizable by finite automataTheory of Computing Systems, 1969
- Decision problems for multiple successor arithmeticsThe Journal of Symbolic Logic, 1966
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960