The Collected Works of J. Richard Büchi
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer New York

9781461389309, 9781461389286

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_8 ◽

1990 ◽

pp. 121-139

Author(s):

J. Richard Büchi

Keyword(s):

Axiom Of Choice ◽

The Axiom Of Choice

Download Full-text

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

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_37 ◽

1990 ◽

pp. 671-683 ◽

Cited By ~ 5

Author(s):

J. Richard Büchi ◽

Steven Senger

Keyword(s):

Existential Theory

Download Full-text

Turing-Machines and the Entscheidungsproblem

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_34 ◽

1990 ◽

pp. 627-639

Author(s):

J. Richard Büchi

Keyword(s):

Turing Machines

Download Full-text

Using Determinancy of Games to Eliminate Quantifiers

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_32 ◽

1990 ◽

pp. 581-592

Author(s):

J. Richard Buchi

Download Full-text

Jordan Circuits of a Graph

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_10 ◽

1990 ◽

pp. 147-159

Author(s):

J. Richard Büchi ◽

Gary Haggard

Download Full-text

Association for Symbolic Logic

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_1 ◽

1990 ◽

pp. 2-3

Author(s):

Saunders Mac Lane ◽

Dirk Siefkes

Keyword(s):

Symbolic Logic

Download Full-text

On a Decision Method in Restricted Second Order Arithmetic

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_23 ◽

1990 ◽

pp. 425-435 ◽

Cited By ~ 16

Author(s):

J. Richard Büchi

Keyword(s):

Second Order ◽

Second Order Arithmetic ◽

Decision Method ◽

Order Arithmetic

Download Full-text

Representation of Complete Lattices by Sets

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_7 ◽

1990 ◽

pp. 103-119

Author(s):

J. Richard Buchi

Keyword(s):

Complete Lattices

Download Full-text

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

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_27 ◽

1990 ◽

pp. 469-492

Author(s):

J. Richard Büchi ◽

Dirk Siefkes

Keyword(s):

Order Theory ◽

Second Order

Download Full-text

Canonical Systems which Produce Periodic Sets

The Collected Works of J. Richard Büchi ◽

10.1007/978-1-4613-8928-6_21 ◽

1990 ◽

pp. 371-380

Author(s):

J. R. Büchi ◽

W. H. Hosken

Keyword(s):

Canonical Systems ◽

Periodic Sets

Download Full-text