WorldCat Identities

Büchi, J. Richard

Overview
Works: 28 works in 102 publications in 2 languages and 1,124 library holdings
Roles: Author
Classifications: QA9.65, 511.3
Publication Timeline
.
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 )

22 editions published in 1973 in English and held by 380 WorldCat member libraries worldwide

Finite automata, their algebras and grammars : towards a theory of formal expressions by J. Richard Büchi( Book )

15 editions published between 1988 and 2012 in English and held by 268 WorldCat member libraries worldwide

The author, who died in 1984, is well-known both as a person and through his research in mathematical logic and theoretical computer science. In the first part of the book he presents the new classical theory of finite automata as unary algebras which he himself invented about 30 years ago. Many results, like his work on structure lattices or his characterization of regular sets by generalized regular rules, are unknown to a wider audience. In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata. Essentially Büchi worked independent of other rersearch, following a novel and stimulating approach. He aimed for a mathematical theory of terms, but could not finish the book. Many of the results are known by now, but to work further along this line presents a challenging research program on the borderline between universal algebra, term rewriting systems, and automata theory. For the whole book and again within each chapter the author starts at an elementary level, giving careful explanations and numerous examples and exercises, and then leads up to the research level. In this way he covers the basic theory as well as many nonstandard subjects. Thus the book serves as a textbook for both the beginner and the advances student, and also as a rich source for the expert
Decidable Theories II : The Monadic Second Order Theory of All Countable Ordinals by J. Richard Büchi( )

8 editions published in 1973 in English and Undetermined and held by 39 WorldCat member libraries worldwide

Die Boole'sche partialordnung und die paarung von Gefugen by J. Richard Büchi( Book )

11 editions published in 1950 in German and held by 36 WorldCat member libraries worldwide

The collected works of J. Richard Büchi by J. Richard Büchi( Book )

8 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

Manual on REC by J. Richard Büchi( Book )

2 editions published in 1984 in German and Undetermined and held by 5 WorldCat member libraries worldwide

Die Boole'sche Partialordnung und die Paarung von Gefügen by J. Richard Büchi( )

1 edition published in 1950 in German and held by 3 WorldCat member libraries worldwide

Regular canonical systems and finite automata by J. Richard Büchi( Book )

3 editions published in 1959 in English and held by 2 WorldCat member libraries worldwide

Turing-machines and the entscheidungsproblem; technical report by J. Richard Büchi( Book )

3 editions published in 1961 in English and held by 2 WorldCat member libraries 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
Solving sequential conditions by finite state strategies by J. Richard Büchi( Book )

2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide

ON A PROBLEM OF TARSKI by J. Richard Büchi( Book )

3 editions published in 1960 in English and held by 2 WorldCat member libraries worldwide

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

Definability in the monadic second-order theory of successor by J. Richard Büchi( Book )

2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide

Weak second-order arithmetic 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

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)
Manual on REC : a language for use and cost analysis of recursion over arbitrary data structures( Book )

1 edition published in 1984 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

Decidable theories by Dirk Siefkes( Book )

1 edition published in 1973 in Undetermined and held by 1 WorldCat member library worldwide

The monadic second-order theory of [omega] by J. Richard Büchi( Book )

2 editions published in 1971 in English and held by 1 WorldCat member library worldwide

Verschiedene kleinere Veröffentlichungen aus dem Gebiet der Mathematik( Book )

in German 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.70 (from 0.28 for The monadi ... to 0.97 for Manual on ...)

The monadic second order theory of all countable ordinalsDecidable Theories II : The Monadic Second Order Theory of All Countable Ordinals
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, Richard

Büchi, Richard 1924-1984

Buechi, J.Richard 1924-1984

Buechi, Julius Richard 1924-1984

Buechi, Richard J. 1924-1984

Julius Richard Büchi matemàtic suís

Julius Richard Büchi matemático suizo

Julius Richard Büchi matematico svizzero

Julius Richard Büchi Schweizer Logiker und Mathematiker

Julius Richard Büchi schweizisk matematiker

Julius Richard Büchi sveitsisk matematikar

Julius Richard Büchi sveitsisk matematiker

Julius Richard Büchi Swiss mathematician

Julius Richard Büchi Zwitsers wiskundige

Languages
English (78)

German (14)

Covers
Decidable Theories II : The Monadic Second Order Theory of All Countable Ordinals