J Büchi

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

Solving sequential conditions by finite-state strategies

J Büchi, Lawrence H. Landweber · Transactions of the American Mathematical Society · 1969 · 269 citations · Full text

Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.

J Büchi · Journal of Symbolic Logic · 1964 · 234 citations

Theory Of Computing, Computational Logic, Logical Automaton +10

Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.

J Büchi · Journal of Symbolic Logic · 1953 · 148 citations

Algebraic Logic, Relation Algebras, Abstract Algebra +2

Solving Sequential Conditions by Finite-State Strategies

J Büchi, Lawrence H. Landweber · Transactions of the American Mathematical Society · 1969 · 115 citations

Mathematical Programming, Engineering, Combinatorial Game +19