×

zbMATH — the first resource for mathematics

Buchi, J. Richard

Compute Distance To:
Author ID: buchi.j-richard Recent zbMATH articles by "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

Publications by Year

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

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.