Büchi, J. Richard
Overview
Works:  26 works in 86 publications in 2 languages and 1,027 library holdings 

Roles:  Author 
Classifications:  QA3, 511.3 
Publication Timeline
.
Most widely held works about
J. Richard Büchi
 The collected works of J. Richard Büchi by J. Richard Büchi( Book )
 Decidable theories I : Buchi's monadic second order successor arithmetic by Dirk Siefkes( Book )
Most widely held works by
J. Richard Büchi
The monadic second order theory of all countable ordinals by
J. Richard Bchi(
Book
)
21 editions published in 1973 in English and held by 378 WorldCat member libraries worldwide
21 editions published in 1973 in English and held by 378 WorldCat member libraries worldwide
Finite automata, their algebras and grammars : towards a theory of formal expressions by
J. Richard Bchi(
Book
)
13 editions published between 1988 and 2012 in English and held by 260 WorldCat member libraries worldwide
13 editions published between 1988 and 2012 in English and held by 260 WorldCat member libraries worldwide
Decidable Theories II The Monadic Second Order Theory of All Countable Ordinals by
J. Richard Bchi(
)
4 editions published in 1973 in English and held by 28 WorldCat member libraries worldwide
4 editions published in 1973 in English and held by 28 WorldCat member libraries worldwide
Die Boole'sche partialordnung und die paarung von Gefugen by
J. Richard Bchi(
Book
)
6 editions published in 1950 in German and held by 24 WorldCat member libraries worldwide
6 editions published in 1950 in German and held by 24 WorldCat member libraries worldwide
The collected works of J. Richard Büchi by
J. Richard Bchi(
Book
)
7 editions published between 1990 and 2012 in English and held by 22 WorldCat member libraries worldwide
7 editions published between 1990 and 2012 in English and held by 22 WorldCat member libraries worldwide
Büchi's monadic second order successor arithmetic by
Dirk Siefkes(
Book
)
1 edition published in 1970 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1970 in English and held by 5 WorldCat member libraries worldwide
Manual on REC a language for use and cost analysis of recursion over arbitraty data structures by
J. Richard Bchi(
Book
)
3 editions published in 1984 in German and Undetermined and held by 4 WorldCat member libraries worldwide
3 editions published in 1984 in German and Undetermined and held by 4 WorldCat member libraries worldwide
Weak secondorder arithmetic and finite automata by
J. Richard Bchi(
Book
)
2 editions published in 1959 in English and held by 2 WorldCat member libraries worldwide
The formalism of regular expressions was introduced to obtain the following basic theorems: Synthesis  To every regular expression E one can effectively obtain a finite automata A with binary output U such that E denotes the behavior of <A, U>; Analysis  To every finite automaton A with binary output U one can effectively construct a regular expression E such that the behavior of <A, U> is denoted by E. It is shown that a more conventional formalism, a weak secondorder arithmetic, can be used in place of the formalism of regular expressions. This result is of interest for automata theory because formulas of weak secondorder arithmetic seem to be more convenient than regular expressions for formalizing conditions on the behavior of automata. In addition, our synthesis and analysis theorems yield rather complete information on the strength of weak secondorder arithmetic, thus providing an example of applying automata theory to logic. (Author)
2 editions published in 1959 in English and held by 2 WorldCat member libraries worldwide
The formalism of regular expressions was introduced to obtain the following basic theorems: Synthesis  To every regular expression E one can effectively obtain a finite automata A with binary output U such that E denotes the behavior of <A, U>; Analysis  To every finite automaton A with binary output U one can effectively construct a regular expression E such that the behavior of <A, U> is denoted by E. It is shown that a more conventional formalism, a weak secondorder arithmetic, can be used in place of the formalism of regular expressions. This result is of interest for automata theory because formulas of weak secondorder arithmetic seem to be more convenient than regular expressions for formalizing conditions on the behavior of automata. In addition, our synthesis and analysis theorems yield rather complete information on the strength of weak secondorder arithmetic, thus providing an example of applying automata theory to logic. (Author)
Solving sequential conditions by finite state strategies by
J. Richard Bchi(
Book
)
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
Definability in the monadic secondorder theory of successor by
J. Richard Bchi(
Book
)
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
Mathematical theory of Automata by
J. Richard Bchi(
Book
)
1 edition published in 1960 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1960 in English and held by 2 WorldCat member libraries worldwide
Turingmachines and the entscheidungsproblem(
Book
)
1 edition published in 1961 in English and held by 1 WorldCat member library worldwide
A discussion of decision theory by use of Turingmachines is presented and is determined to be closely related to the quantification theory. Postulates are stated and application of sentence structure is examined by use of recursive logic methods
1 edition published in 1961 in English and held by 1 WorldCat member library worldwide
A discussion of decision theory by use of Turingmachines is presented and is determined to be closely related to the quantification theory. Postulates are stated and application of sentence structure is examined by use of recursive logic methods
Turingmachines and the entscheidungsproblem; technical report by
J. Richard Bchi(
Book
)
2 editions published in 1961 in English and held by 1 WorldCat member library worldwide
2 editions published in 1961 in English and held by 1 WorldCat member library worldwide
The monadic order theory of all countable ordinals by
J. Richard Bchi(
Book
)
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
Regular canonical systems and finite automata(
Book
)
1 edition published in 1959 in English and held by 1 WorldCat member library worldwide
1 edition published in 1959 in English and held by 1 WorldCat member library worldwide
On a problem of Tarski; technical note by
J. Richard Bchi(
Book
)
2 editions published in 1960 in English and held by 1 WorldCat member library worldwide
2 editions published in 1960 in English and held by 1 WorldCat member library worldwide
The monadic secondorder theory of [omega] by
J. Richard Bchi(
Book
)
2 editions published in 1971 in English and held by 1 WorldCat member library worldwide
2 editions published in 1971 in English and held by 1 WorldCat member library worldwide
Regular canonical systems and finite automata; technical report by
J. Richard Bchi(
Book
)
2 editions published in 1959 in English and held by 1 WorldCat member library worldwide
2 editions published in 1959 in English and held by 1 WorldCat member library worldwide
Decidable theories by
Dirk Siefkes(
Book
)
1 edition published in 1973 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1973 in Undetermined and held by 1 WorldCat member library worldwide
Decidable theories by
J. Richard Bchi(
Book
)
2 editions published in 1973 in English and held by 1 WorldCat member library worldwide
2 editions published in 1973 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Algebra, Abstract ArithmeticFoundations Büchi, J. Richard Computer science Computer software Electronic data processing Gödel's theorem Logic, Symbolic and mathematical Logic design Machine theory Mathematics Model theory Predicate calculus Recursion theory Sequential machine theory Statistical decision
Alternative Names
Bchi, J. R.
Buchi, J. R. 19241984
Bchi, J. Richard 19241984
Bchi, Julius R. 19241984
Bchi, Julius Richard
Bchi, Richard
Bchi, Richard 19241984
Julius Richard Bchi Schweizer Logiker und Mathematiker
Julius Richard Bchi schweizisk matematiker
Julius Richard Bchi sveitsisk matematikar
Julius Richard Bchi sveitsisk matematiker
Julius Richard Bchi Swiss mathematician
Julius Richard Bchi Zwitsers wiskundige
Languages
Covers