J. Richard Büchi

According to our database, J. Richard Büchi authored at least 11 papers between 1953 and 1989.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1989

Finite automata, their algebras and grammars - towards a theory of formal expressions.

Julius Richard Büchi

Springer, ISBN: 3540969055, 1989

1988

Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.

J. Richard Büchi, Steven Senger

Math. Log. Q., 1988

Large convex sets in oriented matroids.

J. Richard Büchi, William E. Fenton

J. Comb. Theory, Ser. B, 1988

1987

Coding in the existential theory of concatenation.

J. Richard Büchi, Steven Senger

Arch. Math. Log., 1987

1983

Deterministic Automata and the Monadic Theory of Ordinals < ω₂.

J. Richard Büchi, Charles Zaiontz

Math. Log. Q., 1983

The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals.

J. Richard Büchi, Dirk Siefkes

Math. Log. Q., 1983

State-Strategies for Games in F G.

J. Richard Büchi

J. Symb. Log., 1983

1977

Using Determinancy of Games to Eliminate Quantifiers.

J. Richard Büchi

Proceedings of the Fundamentals of Computation Theory, 1977

1970

Canonical Systems which Produce Periodic Sets.

J. Richard Büchi, W. H. Hosken

Math. Syst. Theory, 1970

1969

Definability in the Monadic Second-Order Theory of Successor.

J. Richard Büchi, Lawrence H. Landweber

J. Symb. Log., 1969

1953

Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.

J. Richard Büchi

J. Symb. Log., 1953