WorldCat Identities

Büchi, J. Richard

Overview
Works: 23 works in 76 publications in 2 languages and 989 library holdings
Roles: Editor
Classifications: QA3, 511.65
Publication Timeline
Key
Publications about  J. Richard Büchi Publications about J. Richard Büchi
Publications by  J. Richard Büchi Publications by J. Richard Büchi
posthumous Publications by J. Richard Büchi, published posthumously.
Most widely held works about J. Richard Büchi
 
Most widely held works by J. Richard Büchi
The monadic second order theory of all countable ordinals by J. Richard Büchi ( Book )
20 editions published in 1973 in English and held by 452 WorldCat member libraries worldwide
Finite automata, their algebras and grammars : towards a theory of formal expressions by J. Richard Büchi ( Book )
12 editions published between 1988 and 2012 in English and held by 270 WorldCat member libraries worldwide
Decidable Theories II The Monadic Second Order Theory of All Countable Ordinals by J. Richard Büchi ( )
5 editions published in 1973 in English and held by 33 WorldCat member libraries worldwide
The collected works of J. Richard Büchi by J. Richard Büchi ( Book )
7 editions published between 1990 and 2012 in English and held by 27 WorldCat member libraries worldwide
Die Boole'sche partialordnung und die paarung von Gefugen by J. Richard Büchi ( Book )
5 editions published in 1950 in German 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
On a problem of Tarski technical note by J. Richard Büchi ( )
2 editions published in 1960 in English and held by 3 WorldCat member libraries worldwide
Manual on REC a language for use and cost analysis of recursion over arbitraty data structures by J. Richard Büchi ( Book )
2 editions published in 1984 in German and held by 3 WorldCat member libraries worldwide
The monadic second-order theory of [omega] by J. Richard Büchi ( )
2 editions published in 1971 in English and held by 3 WorldCat member libraries worldwide
Weak second-order arithmetic and finite automata by J. Richard Büchi ( 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 second-order arithmetic, can be used in place of the formalism of regular expressions. This result is of interest for automata theory because formulas of weak second-order 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 second-order arithmetic, thus providing an example of applying automata theory to logic. (Author)
Mathematical theory of Automata by J. Richard Büchi ( Book )
1 edition published in 1960 in English and held by 2 WorldCat member libraries worldwide
Turing-machines and the entscheidungsproblem technical report by J. Richard Büchi ( Book )
2 editions published in 1961 in English and held by 2 WorldCat member libraries worldwide
Regular canonical systems and finite automata technical report by J. Richard Büchi ( Book )
2 editions published in 1959 in English and held by 2 WorldCat member libraries worldwide
Solving sequential conditions by finite state strategies by J. Richard Büchi ( Book )
1 edition published in 1967 in English and held by 1 WorldCat member library worldwide
The monadic order theory of all countable ordinals by J. Richard Büchi ( Book )
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
The collected works of J. Richard Büchi by J. Richard Büchi ( )
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
Definability in the monadic second-order theory of successer by J. Richard Büchi ( Book )
1 edition published in 1967 in English and held by 1 WorldCat member library worldwide
Turing-machines 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
ON A PROBLEM OF TARSKI ( Book )
1 edition published in 1960 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.00 for Turing-mac ... to 1.00 for Weak secon ...)
Alternative Names
Büchi, J. R.
Buchi, J. R. 1924-1984
Büchi, J. Richard 1924-1984
Büchi, Julius R. 1924-1984
Büchi, Julius Richard
Büchi, Richard
Büchi, Richard 1924-1984
Languages
English (66)
German (7)
Covers