Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 1988 | |
---|---|---|

6 | EE | J. Richard Büchi, William E. Fenton: Large convex sets in oriented matroids. J. Comb. Theory, Ser. B 45(3): 293-304 (1988) |

1983 | ||

5 | J. Richard Büchi: State-Strategies for Games in F G. J. Symb. Log. 48(4): 1171-1198 (1983) | |

1977 | ||

4 | J. Richard Büchi: Using Determinancy of Games to Eliminate Quantifiers. FCT 1977: 367-378 | |

1970 | ||

3 | J. Richard Büchi, W. H. Hosken: Canonical Systems which Produce Periodic Sets. Mathematical Systems Theory 4(1): 81-90 (1970) | |

1969 | ||

2 | J. Richard Büchi, Lawrence H. Landweber: Definability in the Monadic Second-Order Theory of Successor. J. Symb. Log. 34(2): 166-170 (1969) | |

1953 | ||

1 | 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. J. Symb. Log. 18(2): 125-135 (1953) |

1 | William E. Fenton | [6] |

2 | W. H. Hosken | [3] |

3 | Lawrence H. Landweber | [2] |