Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

J. Richard Büchi

Julius Richard Büchi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - books/lib/Buchi89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/lib/Buchi89
Julius Richard Büchi:
Finite automata, their algebras and grammars - towards a theory of formal expressions. Springer 1989, ISBN 3540969055, pp. I-XXII, 1-316
1988
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jct/BuchiF88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jct/BuchiF88
J. Richard Büchi, William E. Fenton:
Large convex sets in oriented matroids. J. Comb. Theory, Ser. B 45(3): 293-304 (1988)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/BuchiS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/BuchiS88
J. Richard Büchi, Steven Senger:
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory. Math. Log. Q. 34(4): 337-342 (1988)
1987
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/BuchiS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/BuchiS87
J. Richard Büchi, Steven Senger:
Coding in the existential theory of concatenation. Arch. Math. Log. 26(1): 101-106 (1987)
1983
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Buchi83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Buchi83
J. Richard Büchi:
State-Strategies for Games in F G. J. Symb. Log. 48(4): 1171-1198 (1983)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/BuchiS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/BuchiS83
J. Richard Büchi, Dirk Siefkes:
The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals. Math. Log. Q. 29(5): 289-312 (1983)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/BuchiZ83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/BuchiZ83
J. Richard Büchi, Charles Zaiontz:
Deterministic Automata and the Monadic Theory of Ordinals < ω₂. Math. Log. Q. 29(5): 313-336 (1983)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1977
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Buchi77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Buchi77
J. Richard Büchi:
Using Determinancy of Games to Eliminate Quantifiers. FCT 1977: 367-378
1970
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BuchiH70
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BuchiH70
J. Richard Büchi, W. H. Hosken:
Canonical Systems which Produce Periodic Sets. Math. Syst. Theory 4(1): 81-90 (1970)

1960 – 1969

see FAQ

What is the meaning of the colors in the publication lists?

1969
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BuchiL69
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BuchiL69
J. Richard Büchi, Lawrence H. Landweber:
Definability in the Monadic Second-Order Theory of Successor. J. Symb. Log. 34(2): 166-170 (1969)

1950 – 1959

see FAQ

What is the meaning of the colors in the publication lists?

1953
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Buchi53
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Buchi53
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)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.