Edit Profile Buchi, J. Richard Compute Distance To: Compute Author ID: buchi.j-richard Published as: Buchi, J. Richard; Büchi, J. R.; Büchi, J. Richard External Links: MGP · Wikidata · dblp · GND 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 27 Publications have been cited 748 times in 591 Documents Cited by ▼ Year ▼ Weak second-order arithmetic and finite automata. Zbl 0103.24705Büchi, J. R. 255 1960 On a decision method in restricted second order arithmetic. Zbl 0147.25103Büchi, J. R. 142 1962 Solving sequential conditions by finite-state strategies. Zbl 0182.02302Büchi, J. R.; Landweber, L. H. 87 1969 Regular canonical systems. Zbl 0129.26102Büchi, J. R. 35 1964 Weak second-order arithmetic and finite automata. Zbl 0142.24902Büchi, J. R. 31 1960 The monadic second order theory of all countable ordinals. Zbl 0298.02050Büchi, J. Richard; Siefkes, Dirk 24 1973 Definability in the monadic second-order theory of successor. Zbl 0209.02203Büchi, J. R.; Landweber, L. H. 21 1969 On a decision method in restricted second order arithmetic. Zbl 0215.32401Büchi, J. R. 21 1964 Decision methods in the theory of ordinals. Zbl 0207.30904Büchi, J. R. 18 1965 Transfinite automata recursions and weak second order theory of ordinals. Zbl 0207.31001Büchi, J. R. 16 1965 Turing-machines and the Entscheidungsproblem. Zbl 0118.01602Büchi, J. R. 12 1962 Finite automata, their algebras and grammars. Towards a theory of formal expressions. Zbl 0715.68062Büchi, J. R.; Siefkes, Dirk (ed.) 11 1989 Coding in the existential theory of concatenation. Zbl 0646.03040Büchi, J. Richard; Senger, Steven 11 1986 Representation of complete lattices by sets. Zbl 0048.02202Buchi, J. Richard 11 1952 State-strategies for games in \(F_{\sigma \delta}\cap G_{\delta \sigma}\). Zbl 0565.03009Büchi, J. Richard 9 1983 Definability in the existential theory of concatenation and undecidable extensions of this theory. Zbl 0635.03006Büchi, J. Richard; Senger, Steven 8 1988 Die Boolesche Partialordnung und die Paarung von Gefügen. Zbl 0038.02002Büchi, J. Richard 6 1948 Deterministic automata and the monadic theory of ordinals \(<\omega_ 2\). Zbl 0541.03004Büchi, J. Richard; Zaiontz, Charles 5 1983 Canonical systems which produce periodic sets. Zbl 0188.33104Büchi, J. R.; Hosken, W. H. 5 1970 Mathematische Theorie des Verhaltens endlicher Automaten. Zbl 0113.01401Büchi, J. R. 5 1962 The collected works of J. Richard Büchi. Edited by Saunders Mac Lane and Dirk Siefkes. Zbl 0725.68006Büchi, J. Richard 4 1990 Using determinancy of games to eliminate quantifiers. Zbl 0367.02005Büchi, J. Richard 4 1977 Large convex sets in oriented matroids. Zbl 0609.05026Buchi, J. Richard; Fenton, William E. 3 1988 Model theoretic approaches to definability. Zbl 0241.02015Büchi, J. Richard; Danhof, Kenneth J. 1 1972 Algebraic theory of feedback in discrete systems. I. Zbl 0279.94042Büchi, J. Richard 1 1966 The theory of proportionality as an abstraction of group theory. Zbl 0065.00902Büchi, J. Richard; Wright, Jesse B. 1 1955 On the existence of totally heterogeneous spaces. Zbl 0055.28202Büchi, J. R. 1 1954 The collected works of J. Richard Büchi. Edited by Saunders Mac Lane and Dirk Siefkes. Zbl 0725.68006Büchi, J. Richard 4 1990 Finite automata, their algebras and grammars. Towards a theory of formal expressions. Zbl 0715.68062Büchi, J. R.; Siefkes, Dirk (ed.) 11 1989 Definability in the existential theory of concatenation and undecidable extensions of this theory. Zbl 0635.03006Büchi, J. Richard; Senger, Steven 8 1988 Large convex sets in oriented matroids. Zbl 0609.05026Buchi, J. Richard; Fenton, William E. 3 1988 Coding in the existential theory of concatenation. Zbl 0646.03040Büchi, J. Richard; Senger, Steven 11 1986 State-strategies for games in \(F_{\sigma \delta}\cap G_{\delta \sigma}\). Zbl 0565.03009Büchi, J. Richard 9 1983 Deterministic automata and the monadic theory of ordinals \(<\omega_ 2\). Zbl 0541.03004Büchi, J. Richard; Zaiontz, Charles 5 1983 Using determinancy of games to eliminate quantifiers. Zbl 0367.02005Büchi, J. Richard 4 1977 The monadic second order theory of all countable ordinals. Zbl 0298.02050Büchi, J. Richard; Siefkes, Dirk 24 1973 Model theoretic approaches to definability. Zbl 0241.02015Büchi, J. Richard; Danhof, Kenneth J. 1 1972 Canonical systems which produce periodic sets. Zbl 0188.33104Büchi, J. R.; Hosken, W. H. 5 1970 Solving sequential conditions by finite-state strategies. Zbl 0182.02302Büchi, J. R.; Landweber, L. H. 87 1969 Definability in the monadic second-order theory of successor. Zbl 0209.02203Büchi, J. R.; Landweber, L. H. 21 1969 Algebraic theory of feedback in discrete systems. I. Zbl 0279.94042Büchi, J. Richard 1 1966 Decision methods in the theory of ordinals. Zbl 0207.30904Büchi, J. R. 18 1965 Transfinite automata recursions and weak second order theory of ordinals. Zbl 0207.31001Büchi, J. R. 16 1965 Regular canonical systems. Zbl 0129.26102Büchi, J. R. 35 1964 On a decision method in restricted second order arithmetic. Zbl 0215.32401Büchi, J. R. 21 1964 On a decision method in restricted second order arithmetic. Zbl 0147.25103Büchi, J. R. 142 1962 Turing-machines and the Entscheidungsproblem. Zbl 0118.01602Büchi, J. R. 12 1962 Mathematische Theorie des Verhaltens endlicher Automaten. Zbl 0113.01401Büchi, J. R. 5 1962 Weak second-order arithmetic and finite automata. Zbl 0103.24705Büchi, J. R. 255 1960 Weak second-order arithmetic and finite automata. Zbl 0142.24902Büchi, J. R. 31 1960 The theory of proportionality as an abstraction of group theory. Zbl 0065.00902Büchi, J. Richard; Wright, Jesse B. 1 1955 On the existence of totally heterogeneous spaces. Zbl 0055.28202Büchi, J. R. 1 1954 Representation of complete lattices by sets. Zbl 0048.02202Buchi, J. Richard 11 1952 Die Boolesche Partialordnung und die Paarung von Gefügen. Zbl 0038.02002Büchi, J. Richard 6 1948 all cited Publications top 5 cited Publications all top 5 Cited by 713 Authors 19 Droste, Manfred 14 Thomas, Wolfgang 13 Finkel, Olivier 12 Chatterjee, Krishnendu 11 Vardi, Moshe Y. 10 Rabinovich, Alexander 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 Buchi, J. Richard 6 Selivanov, Viktor L’vovich 6 Zimmermann, Martín G. 5 Bollig, Benedikt 5 Kufleitner, Manfred 5 Litovsky, Igor 5 Pin, Jean-Eric 5 Rispal, Chloé 5 Thatcher, James W. 5 Thiagarajan, Pazhamaneri Subramaniam 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 Perevoshchikov, Vitaly 4 Rigo, Michel 4 Saoudi, Ahmed 4 Staiger, Ludwig 4 Straubing, Howard 4 Vogler, Heiko 4 Walukiewicz, Igor 4 Weil, Pascal 3 Bloem, Roderick 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 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 Wolper, Pierre 3 Wright, Jesse B. 3 Yakhnis, Alexander 3 Yamasaki, Hideki 3 Zeitoun, Marc 3 Zetkina, Oksana Valer’evna 2 Alur, Rajeev 2 Arnold, André 2 Babari, Parvaneh 2 Bodlaender, Hans L. 2 Börger, Egon 2 Brusten, Julien 2 Bruyère, Véronique 2 Carayol, Arnaud 2 Caron, Anne-Cécile 2 Case, John ...and 613 more Authors all top 5 Cited in 94 Serials 157 Theoretical Computer Science 45 Information and Computation 38 Journal of Computer and System Sciences 25 Annals of Pure and Applied Logic 21 The Journal of Symbolic Logic 13 Acta Informatica 13 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 5 Israel Journal of Mathematics 5 Siberian Mathematical Journal 4 Journal of Applied Non-Classical Logics 4 Annals of Mathematics and Artificial Intelligence 4 Logical Methods in Computer Science 3 Notre Dame Journal of Formal Logic 3 Transactions of the American Mathematical Society 3 Order 3 Journal of Automated Reasoning 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 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 Proceedings of the American Mathematical Society 2 Studia Logica 2 European Journal of Combinatorics 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 the Franklin Institute 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 Advances in Applied Mathematics 1 Science of Computer Programming 1 Mathematical Social Sciences 1 Optimization 1 Algorithmica 1 Indagationes Mathematicae. New Series 1 Journal of Mathematical Sciences (New York) 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 31 Fields 454 Computer science (68-XX) 270 Mathematical logic and foundations (03-XX) 41 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 27 Group theory and generalizations (20-XX) 25 Order, lattices, ordered algebraic structures (06-XX) 23 Number theory (11-XX) 19 Combinatorics (05-XX) 10 Systems theory; control (93-XX) 8 General algebraic systems (08-XX) 8 General topology (54-XX) 7 Information and communication theory, circuits (94-XX) 4 Commutative algebra (13-XX) 4 Category theory; homological algebra (18-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Operations research, mathematical programming (90-XX) 2 Convex and discrete geometry (52-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Geometry (51-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) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.