Presburgerness of predicates regular in two number systems Semenov, A. L. Abstract Publication: Siberian Mathematical Journal Pub Date: March 1977 DOI: 10.1007/BF00967164 Bibcode: 1977SibMJ..18..289S Keywords: Number System