Search the dblp DataBase
J. Richard Büchi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
J. Richard Büchi Using Determinancy of Games to Eliminate Quantifiers. [Citation Graph (0, 0)][DBLP ] FCT, 1977, pp:367-378 [Conf ] J. Richard Büchi , William E. Fenton Large convex sets in oriented matroids. [Citation Graph (0, 0)][DBLP ] J. Comb. Theory, Ser. B, 1988, v:45, n:3, pp:293-304 [Journal ] J. Richard Büchi Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1953, v:18, n:2, pp:125-135 [Journal ] J. Richard Büchi State-Strategies for Games in F G. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:4, pp:1171-1198 [Journal ] J. Richard Büchi , Lawrence H. Landweber Definability in the Monadic Second-Order Theory of Successor. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1969, v:34, n:2, pp:166-170 [Journal ] J. Richard Büchi , W. H. Hosken Canonical Systems which Produce Periodic Sets. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1970, v:4, n:1, pp:81-90 [Journal ] Search in 0.003secs, Finished in 0.003secs