Concepedia
Siberian Mathematical Journal · 1977 · 67 citations · 3 references
EngineeringAutomated ReasoningFormal MethodsFirst-order LogicHigher-order LogicLogical FormalismNumber Systems
3
Weak Second‐Order Arithmetic and Finite Automata
J Büchi · Mathematical logic quarterly · 1960 · 818 citations
Weighted Automaton, Weak Second‐order Arithmetic, Automaton Operation +1
Semigroups, Presburger formulas, and languages
Seymour Ginsburg, Edwin H. Spanier · Pacific Journal of Mathematics · 1966 · 424 citations · Full text
On the base-dependence of sets of numbers recognizable by finite automata
Alan Cobham · Theory of Computing Systems · 1969 · 287 citations
Engineering, Automated Reasoning, Formal Methods +8