# zbMATH — the first resource for mathematics

## Buchi, J. Richard

Compute Distance To:
 Author ID: buchi.j-richard Published as: Büchi, J. Richard; Büchi, J. R.; Buchi, J. Richard External Links: MGP · Wikidata · dblp · GND · IdRef
 Documents Indexed: 37 Publications since 1948, including 3 Books
all top 5

#### Co-Authors

 19 single-authored 4 Siefkes, Dirk 3 Danhof, Kenneth J. 2 Haggard, Gary 2 Landweber, Lawrence H. 2 Senger, Steven 2 Wright, Jesse B. 1 Fenton, William E. 1 Hosken, William H. 1 Mahr, Bernd 1 Zaiontz, Charles
all top 5

#### Serials

 6 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 The Journal of Symbolic Logic 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Mathematische Annalen 2 Portugaliae Mathematica 1 Israel Journal of Mathematics 1 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 1 Fundamenta Mathematicae 1 Journal of Combinatorial Theory. Series A 1 Journal of Combinatorial Theory. Series B 1 Mathematical Systems Theory 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Bulletin of the American Mathematical Society 1 Lecture Notes in Mathematics
all top 5

#### Fields

 19 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) 4 Combinatorics (05-XX) 3 Information and communication theory, circuits (94-XX) 2 General algebraic systems (08-XX) 2 Group theory and generalizations (20-XX) 1 Order, lattices, ordered algebraic structures (06-XX)

#### Citations contained in zbMATH Open

26 Publications have been cited 702 times in 590 Documents Cited by Year
Weak second-order arithmetic and finite automata. Zbl 0103.24705
Büchi, J. R.
1960
On a decision method in restricted second order arithmetic. Zbl 0147.25103
Büchi, J. R.
1962
Solving sequential conditions by finite-state strategies. Zbl 0182.02302
Büchi, J. R.; Landweber, L. H.
1969
Regular canonical systems. Zbl 0129.26102
Büchi, J. R.
1964
Definability in the monadic second-order theory of successor. Zbl 0209.02203
Büchi, J. R.; Landweber, L. H.
1969
On a decision method in restricted second order arithmetic. Zbl 0215.32401
Büchi, J. R.
1964
The monadic second order theory of all countable ordinals. Zbl 0298.02050
Büchi, J. Richard; Siefkes, Dirk
1973
Decision methods in the theory of ordinals. Zbl 0207.30904
Büchi, J. R.
1965
Transfinite automata recursions and weak second order theory of ordinals. Zbl 0207.31001
Büchi, J. R.
1965
Turing-machines and the Entscheidungsproblem. Zbl 0118.01602
Büchi, J. R.
1962
Coding in the existential theory of concatenation. Zbl 0646.03040
Büchi, J. Richard; Senger, Steven
1986
Representation of complete lattices by sets. Zbl 0048.02202
Buchi, J. Richard
1952
Weak second-order arithmetic and finite automata. Zbl 0142.24902
Büchi, J. R.
1960
State-strategies for games in $$F_{\sigma \delta}\cap G_{\delta \sigma}$$. Zbl 0565.03009
Büchi, J. Richard
1983
Definability in the existential theory of concatenation and undecidable extensions of this theory. Zbl 0635.03006
Büchi, J. Richard; Senger, Steven
1988
Finite automata, their algebras and grammars. Towards a theory of formal expressions. Zbl 0715.68062
Büchi, J. R.; Siefkes, Dirk (ed.)
1989
Die Boolesche Partialordnung und die Paarung von Gefügen. Zbl 0038.02002
Büchi, J. Richard
1948
Canonical systems which produce periodic sets. Zbl 0188.33104
Büchi, J. R.; Hosken, W. H.
1970
Deterministic automata and the monadic theory of ordinals $$<\omega_ 2$$. Zbl 0541.03004
Büchi, J. Richard; Zaiontz, Charles
1983
Mathematische Theorie des Verhaltens endlicher Automaten. Zbl 0113.01401
Büchi, J. R.
1962
Large convex sets in oriented matroids. Zbl 0609.05026
Buchi, J. Richard; Fenton, William E.
1988
Using determinancy of games to eliminate quantifiers. Zbl 0367.02005
Büchi, J. Richard
1977
The collected works of J. Richard Büchi. Edited by Saunders Mac Lane and Dirk Siefkes. Zbl 0725.68006
Büchi, J. Richard
1990
Model theoretic approaches to definability. Zbl 0241.02015
Büchi, J. Richard; Danhof, Kenneth J.
1972
On the existence of totally heterogeneous spaces. Zbl 0055.28202
Büchi, J. R.
1954
The theory of proportionality as an abstraction of group theory. Zbl 0065.00902
Büchi, J. Richard; Wright, Jesse B.
1955
The collected works of J. Richard Büchi. Edited by Saunders Mac Lane and Dirk Siefkes. Zbl 0725.68006
Büchi, J. Richard
1990
Finite automata, their algebras and grammars. Towards a theory of formal expressions. Zbl 0715.68062
Büchi, J. R.; Siefkes, Dirk
1989
Definability in the existential theory of concatenation and undecidable extensions of this theory. Zbl 0635.03006
Büchi, J. Richard; Senger, Steven
1988
Large convex sets in oriented matroids. Zbl 0609.05026
Buchi, J. Richard; Fenton, William E.
1988
Coding in the existential theory of concatenation. Zbl 0646.03040
Büchi, J. Richard; Senger, Steven
1986
State-strategies for games in $$F_{\sigma \delta}\cap G_{\delta \sigma}$$. Zbl 0565.03009
Büchi, J. Richard
1983
Deterministic automata and the monadic theory of ordinals $$<\omega_ 2$$. Zbl 0541.03004
Büchi, J. Richard; Zaiontz, Charles
1983
Using determinancy of games to eliminate quantifiers. Zbl 0367.02005
Büchi, J. Richard
1977
The monadic second order theory of all countable ordinals. Zbl 0298.02050
Büchi, J. Richard; Siefkes, Dirk
1973
Model theoretic approaches to definability. Zbl 0241.02015
Büchi, J. Richard; Danhof, Kenneth J.
1972
Canonical systems which produce periodic sets. Zbl 0188.33104
Büchi, J. R.; Hosken, W. H.
1970
Solving sequential conditions by finite-state strategies. Zbl 0182.02302
Büchi, J. R.; Landweber, L. H.
1969
Definability in the monadic second-order theory of successor. Zbl 0209.02203
Büchi, J. R.; Landweber, L. H.
1969
Decision methods in the theory of ordinals. Zbl 0207.30904
Büchi, J. R.
1965
Transfinite automata recursions and weak second order theory of ordinals. Zbl 0207.31001
Büchi, J. R.
1965
Regular canonical systems. Zbl 0129.26102
Büchi, J. R.
1964
On a decision method in restricted second order arithmetic. Zbl 0215.32401
Büchi, J. R.
1964
On a decision method in restricted second order arithmetic. Zbl 0147.25103
Büchi, J. R.
1962
Turing-machines and the Entscheidungsproblem. Zbl 0118.01602
Büchi, J. R.
1962
Mathematische Theorie des Verhaltens endlicher Automaten. Zbl 0113.01401
Büchi, J. R.
1962
Weak second-order arithmetic and finite automata. Zbl 0103.24705
Büchi, J. R.
1960
Weak second-order arithmetic and finite automata. Zbl 0142.24902
Büchi, J. R.
1960
The theory of proportionality as an abstraction of group theory. Zbl 0065.00902
Büchi, J. Richard; Wright, Jesse B.
1955
On the existence of totally heterogeneous spaces. Zbl 0055.28202
Büchi, J. R.
1954
Representation of complete lattices by sets. Zbl 0048.02202
Buchi, J. Richard
1952
Die Boolesche Partialordnung und die Paarung von Gefügen. Zbl 0038.02002
Büchi, J. Richard
1948
all top 5

#### Cited by 690 Authors

 19 Droste, Manfred 14 Thomas, Wolfgang 13 Finkel, Olivier 12 Chatterjee, Krishnendu 12 Rabinovich, Alexander 11 Vardi, Moshe Y. 9 Bedon, Nicolas 9 Gastin, Paul 9 Kuske, Dietrich 8 Carton, Olivier 7 Bès, Alexis 7 Courcelle, Bruno 7 Engelfriet, Joost 7 Stephan, Frank 6 Bollig, Benedikt 6 Buchi, J. Richard 6 Selivanov, Viktor L’vovich 6 Zimmermann, Martín G. 5 Kufleitner, Manfred 5 Pin, Jean-Eric 5 Rispal, Chloé 4 Boigelot, Bernard 4 Choffrut, Christian 4 Cohen, Rina S. 4 Doyen, Laurent 4 Durnev, Valeriĭ Georgievich 4 Ésik, Zoltán 4 Gold, Arie Y. 4 Hoogeboom, Hendrik Jan 4 Karhumaki, Juhani 4 Khoussainov, Bakhadyr M. 4 Kupferman, Orna 4 Litovsky, Igor 4 Perevoshchikov, Vitaly 4 Rigo, Michel 4 Saoudi, Ahmed 4 Staiger, Ludwig 4 Straubing, Howard 4 Thatcher, James W. 4 Thiagarajan, Pazhamaneri Subramaniam 4 Vogler, Heiko 4 Walukiewicz, Igor 4 Weil, Pascal 3 Bloem, Roderick 3 Carayol, Arnaud 3 Caucal, Didier 3 Chebotarev, Anatoli N. 3 Compton, Kevin J. 3 Diekert, Volker 3 D’Souza, Deepak 3 Dück, Stefan 3 Erné, Marcel 3 Filiot, Emmanuel 3 Fleischer, Lukas 3 Fogarty, Seth J. 3 Grohe, Martin 3 Gurevich, Yuri 3 Henzinger, Thomas A. 3 Hieronymi, Philipp 3 Jain, Sanjay 3 Jobstmann, Barbara 3 Kaminsky, Michael 3 Klarlund, Nils 3 La Torre, Salvatore 3 Lange, Martin 3 Langmaack, Hans 3 Lugiez, Denis 3 Makowsky, Johann-Andreas 3 Mandrioli, Dino 3 Maurin, Françoise 3 Mix Barrington, David A. 3 Monjardet, Bernard 3 Morin, Rémi 3 Muller, David E. 3 Neven, Frank 3 Niwiński, Damian 3 Piterman, Nir 3 Pnueli, Amir 3 Pradella, Matteo 3 Rahonis, George 3 Rozenberg, Grzegorz 3 Schewe, Sven 3 Schupp, Paul E. 3 Schwentick, Thomas 3 Sharma, Arun K. 3 Takahashi, Masako 3 Walsberg, Erik 3 Wolper, Pierre 3 Yakhnis, Alexander 3 Yamasaki, Hideki 3 Zeitoun, Marc 3 Zetkina, Oksana Valer’evna 2 Alur, Rajeev 2 Arnold, André 2 Babari, Parvaneh 2 Beauquier, Danièle 2 Börger, Egon 2 Brusten, Julien 2 Bruyère, Véronique 2 Caron, Anne-Cécile ...and 590 more Authors
all top 5

#### Cited in 95 Serials

 152 Theoretical Computer Science 43 Information and Computation 37 Journal of Computer and System Sciences 25 Annals of Pure and Applied Logic 21 The Journal of Symbolic Logic 14 Acta Informatica 14 Information Processing Letters 13 Mathematical Systems Theory 12 International Journal of Foundations of Computer Science 11 RAIRO. Theoretical Informatics and Applications 10 Theory of Computing Systems 8 Archiv für Mathematische Logik und Grundlagenforschung 7 Formal Methods in System Design 6 RAIRO. Informatique Théorique et Applications 6 Logical Methods in Computer Science 5 Israel Journal of Mathematics 5 Siberian Mathematical Journal 4 Journal of Automated Reasoning 4 Annals of Mathematics and Artificial Intelligence 3 Transactions of the American Mathematical Society 3 Order 3 International Journal of Algebra and Computation 3 Discrete Event Dynamic Systems 3 Cybernetics and Systems Analysis 3 Journal of Logic, Language and Information 3 Journal of Applied Non-Classical Logics 3 The Bulletin of Symbolic Logic 3 RAIRO. Theoretical Informatics and Applications 3 Computer Science Review 3 Journal of Logical and Algebraic Methods in Programming 2 Discrete Applied Mathematics 2 Algebra Universalis 2 Archiv der Mathematik 2 Journal of Pure and Applied Algebra 2 Journal of Soviet Mathematics 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 Studia Logica 2 European Journal of Combinatorics 2 Advances in Applied Mathematics 2 Formal Aspects of Computing 2 International Journal of Computer Mathematics 2 Archive for Mathematical Logic 2 Russian Mathematics 2 Mathematical Logic Quarterly (MLQ) 2 Bulletin of the American Mathematical Society 2 Proceedings of the Japan Academy 2 Chebyshevskiĭ Sbornik 2 Science China. Information Sciences 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Acta Mechanica 1 Artificial Intelligence 1 Communications in Algebra 1 Discrete Mathematics 1 Journal of Statistical Physics 1 Mathematical Notes 1 Problems of Information Transmission 1 Rocky Mountain Journal of Mathematics 1 Acta Mathematica 1 Advances in Mathematics 1 Algebra and Logic 1 Canadian Journal of Mathematics 1 Czechoslovak Mathematical Journal 1 Fuzzy Sets and Systems 1 International Journal of Computer & Information Sciences 1 Inventiones Mathematicae 1 Journal of Algebra 1 Journal of Number Theory 1 Mathematische Annalen 1 Mathematica Slovaca 1 Semigroup Forum 1 Science of Computer Programming 1 Mathematical Social Sciences 1 Optimization 1 Algorithmica 1 Indagationes Mathematicae. New Series 1 Journal of Algebraic Combinatorics 1 Journal of Mathematical Sciences (New York) 1 Selecta Mathematica. New Series 1 Soft Computing 1 Journal of the ACM 1 Journal of Group Theory 1 Higher-Order and Symbolic Computation 1 Journal of Applied Mathematics 1 Sādhanā 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 Journal of Applied Logic 1 Proceedings of the Steklov Institute of Mathematics 1 Groups, Geometry, and Dynamics 1 Nonlinear Analysis. Hybrid Systems 1 The Review of Symbolic Logic 1 Computability 1 Prikladnaya Diskretnaya Matematika
all top 5

#### Cited in 32 Fields

 450 Computer science (68-XX) 271 Mathematical logic and foundations (03-XX) 41 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 28 Group theory and generalizations (20-XX) 26 Order, lattices, ordered algebraic structures (06-XX) 23 Number theory (11-XX) 19 Combinatorics (05-XX) 9 General topology (54-XX) 9 Systems theory; control (93-XX) 8 General algebraic systems (08-XX) 7 Information and communication theory, circuits (94-XX) 4 Commutative algebra (13-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Category theory; homological algebra (18-XX) 3 Convex and discrete geometry (52-XX) 3 Operations research, mathematical programming (90-XX) 2 Associative rings and algebras (16-XX) 2 Geometry (51-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.