Grigoriĭ Samuilovich Tseĭtin - Author Profile

Edit Profile

Tseĭtin, Grigoriĭ Samuilovich (b. 1936 d. 2022)

Author ID:	tseitin.grigorii-samuilovich
Published as:	Tsejtin, G. S.; Tseĭtin, G. S.; Tseytin, Gregory S.; Tseytin, G. S. more...less
Further Spellings:	Цейтин Григорий Самуилович
External Links:	MGP · Wikidata · Math-Net.Ru · GND · IdRef

Documents Indexed:	42 Publications since 1955
	1 Further Contribution
Biographic References:	2 Publications
Co-Authors:	5 Co-Authors with 13 Joint Publications
	38 Co-Co-Authors

all top 5

Co-Authors

29	single-authored
8	Zaslavskii, Igor Dmitrievich
2	Chubaryan, Anahit A.
2	Dang-Huy-Ruan
1	Anderson, Robert Brockett
1	Andrews, Peter B.
1	Bendix, P. B.
1	Bennett, J. H.
1	Binkley, Robert W.
1	Bledsoe, Woodrow W.
1	Carson, Daniel F.
1	Chang, Chinliang
1	Clark, Robert L.
1	Davydov, G. V.
1	de Bruijn, Nicolaas Govert
1	Guard, J. R.
1	Hayes, Patrick J.
1	Henschen, Lawrence J.
1	Knuth, Donald Ervin
1	Kushner, Boris A.
1	Loveland, Donald W.
1	Luckham, David C.
1	Maslov, S. Yu.
1	Mints, Grigoriĭ Efroimovich
1	Morris, James B.
1	Oglesby, F. C.
1	Orevkov, V. P.
1	Prawitz, Dag
1	Robinson, George A.
1	Robinson, John Alan
1	Settle, L. G.
1	Shalla, Leon
1	Shanin, Nikolaĭ Aleksandrovich
1	Siekmann, Jörg H.
1	Slagle, James R.
1	Slisenko, A. O.
1	Wos, Larry
1	Wrightson, Graham

all top 5

Serials

8	Trudy Matematicheskogo Instituta Imeni V. A. Steklova
7	Translations. Series 2. American Mathematical Society
7	Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova
5	Journal of Soviet Mathematics
3	Doklady Akademii Nauk SSSR
1	Uspekhi Matematicheskikh Nauk [N. S.]
1	Akademiya Nauk Armyanskoĭ SSR. Doklady
1	Theoretical Computer Science
1	Izvestiya Akademii Nauk Armyanskoi SSR. Matematika
1	Proceedings of the Steklov Institute of Mathematics
1	Problemy Kibernetiki

all top 5

Fields

30	Mathematical logic and foundations (03-XX)
12	Computer science (68-XX)
2	Real functions (26-XX)
1	History and biography (01-XX)
1	General topology (54-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

21 Publications have been cited 224 times in 213 Documents	Cited by ▼	Year ▼
On the complexity of proof in propositional calculus. Zbl 0197.00102 Tseĭtin, G. S.	82	1968
On the complexity of derivation in propositional calculus. Zbl 0205.00402 Tsejtin, G. S.	60	1968
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002	20	1983
Algorithmic operators in constructive complete separable metric spaces. Zbl 0124.00402 Tsejtin, G. S.	20	1959
Ein assoziativer Kalkül mit unlösbarem Äquivalenzproblem. Zbl 0087.25303 Tseĭtin, G. S.	14	1958
Some properties of F-numbers. Zbl 0267.02023 Kushner, B. A.; Tseĭtin, G. S.	13	1968
Algorithmic operators in constructive metric spaces. (Algorithmische Operatoren in konstruktiven metrischen Räumen.) Zbl 0113.01001 Tseĭtin, G. S.	10	1962
A pseudo-fundamental sequence not equivalent to any monotone sequence. Zbl 0222.02046 Tsejtin, G. S.	3	1971
Mean value theorems in constructive analysis. (Mittelwertsätze in der konstruktiven Analysis.) Zbl 0113.01101 Tseĭtin, G. S.	3	1962
Mean value theorems in constructive analysis. Zbl 0227.02017 Tsejtin, G. S.	3	1971
An associative calculus with an unsolvable problem of equivalence. Zbl 0208.01907 Tseĭtin, G. S.	2	1970
On singular coverings and properties of constructive functions connected with them. (Über singuläre Bedeckungen und die mit ihnen zusammenhängenden Eigenschaften der konstruktiven Funktionen.) Zbl 0113.01301 Zaslavskiĭ, I. D.; Tseĭtin, G. S.	2	1962
On singular coverings and properties of constructive functions connected with them. Zbl 0228.02023 Zaslavskij, I. D.; Tsejtin, G. S.	2	1971
Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms. Zbl 0252.02031 Tsejtin, G. S.	2	1973
Associative calculus with insoluble equivalence problem. Zbl 0070.00903 Tseĭtin, G. S.	2	1956
Some features of a language for a proof-checking programming system. Zbl 0282.68005 Tseytin, G. S.	1	1974
On some estimates of the length of derivation in classical propositional calculus. Zbl 0398.03004 Tsejtin, G. S.; Chubaryan, A. A.	1	1975
Drei Sätze über konstruktive Funktionen. Zbl 0236.02030 Tsejtin, G. S.	1	1964
On upper bounds of recursively enumerable sets of constructive real numbers. Zbl 0229.02031 Tsejtin, G. S.	1	1970
Reduced form of normal algorithms and a linear acceleration theorem. Zbl 0252.02030 Tsejtin, G. S.	1	1973
On the problem of distinguishing of properties of associative calculi. Zbl 0070.00902 Tseĭtin, G. S.	1	1956
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002	20	1983
On some estimates of the length of derivation in classical propositional calculus. Zbl 0398.03004 Tsejtin, G. S.; Chubaryan, A. A.	1	1975
Some features of a language for a proof-checking programming system. Zbl 0282.68005 Tseytin, G. S.	1	1974
Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms. Zbl 0252.02031 Tsejtin, G. S.	2	1973
Reduced form of normal algorithms and a linear acceleration theorem. Zbl 0252.02030 Tsejtin, G. S.	1	1973
A pseudo-fundamental sequence not equivalent to any monotone sequence. Zbl 0222.02046 Tsejtin, G. S.	3	1971
Mean value theorems in constructive analysis. Zbl 0227.02017 Tsejtin, G. S.	3	1971
On singular coverings and properties of constructive functions connected with them. Zbl 0228.02023 Zaslavskij, I. D.; Tsejtin, G. S.	2	1971
An associative calculus with an unsolvable problem of equivalence. Zbl 0208.01907 Tseĭtin, G. S.	2	1970
On upper bounds of recursively enumerable sets of constructive real numbers. Zbl 0229.02031 Tsejtin, G. S.	1	1970
On the complexity of proof in propositional calculus. Zbl 0197.00102 Tseĭtin, G. S.	82	1968
On the complexity of derivation in propositional calculus. Zbl 0205.00402 Tsejtin, G. S.	60	1968
Some properties of F-numbers. Zbl 0267.02023 Kushner, B. A.; Tseĭtin, G. S.	13	1968
Drei Sätze über konstruktive Funktionen. Zbl 0236.02030 Tsejtin, G. S.	1	1964
Algorithmic operators in constructive metric spaces. (Algorithmische Operatoren in konstruktiven metrischen Räumen.) Zbl 0113.01001 Tseĭtin, G. S.	10	1962
Mean value theorems in constructive analysis. (Mittelwertsätze in der konstruktiven Analysis.) Zbl 0113.01101 Tseĭtin, G. S.	3	1962
On singular coverings and properties of constructive functions connected with them. (Über singuläre Bedeckungen und die mit ihnen zusammenhängenden Eigenschaften der konstruktiven Funktionen.) Zbl 0113.01301 Zaslavskiĭ, I. D.; Tseĭtin, G. S.	2	1962
Algorithmic operators in constructive complete separable metric spaces. Zbl 0124.00402 Tsejtin, G. S.	20	1959
Ein assoziativer Kalkül mit unlösbarem Äquivalenzproblem. Zbl 0087.25303 Tseĭtin, G. S.	14	1958
Associative calculus with insoluble equivalence problem. Zbl 0070.00903 Tseĭtin, G. S.	2	1956
On the problem of distinguishing of properties of associative calculi. Zbl 0070.00902 Tseĭtin, G. S.	1	1956

all cited Publications top 5 cited Publications

all top 5

Cited by 325 Authors

7	Marques-Silva, João P.
5	Biere, Armin
5	Itsykson, Dmitry M.
5	Kalantari, Iraj
5	Kleine Büning, Hans
5	Semenov, Aleksandr Anatol’evich
5	Welch, Lawrence V.
4	Buss, Samuel R.
4	Janota, Mikoláš
4	Kullmann, Oliver
4	Torán, Jacobo
4	Urquhart, Alasdair
3	Downey, Rodney Graham
3	Halava, Vesa
3	Hirsch, Edward A.
3	Korovina, Margarita Vladimirovna
3	Kudinov, Oleg Victorovich
3	Melnikov, Alexander G.
3	Nyberg-Brodda, Carl-Fredrik
3	Razborov, Aleksandr Aleksandrovich
3	Schaub, Torsten H.
3	Tucker, John V.
3	Zaikin, Oleg Sergeevich
2	Aberth, Oliver George
2	Adyan, Sergeĭ Ivanovich
2	Anjos, Miguel F.
2	Arai, Noriko H.
2	Bannai, Hideo
2	Becker, Bernd
2	Bubeck, Uwe
2	Cabalar, Pedro
2	Caleiro, Carlos
2	Casal, Filipe
2	de Colnet, Alexis
2	Esteban, Juan Luis
2	Gagie, Travis
2	Galesi, Nicola
2	Gebser, Martin
2	Glinskih, Ludmila
2	Harju, Tero
2	Hertling, Peter H.
2	Heule, Marijn J. H.
2	Hirvensalo, Mika
2	Hoffmann, Jan-Philipp
2	Ignatyev, Alexey A.
2	Inenaga, Shunsuke
2	Kärkkäinen, Juha
2	Kempa, Dominik
2	Kiesl, Benjamin
2	King, Andy
2	Klieber, William
2	Kochemazov, S. E.
2	Kochemazov, Stepan
2	Marquis, Pierre
2	Mengel, Stefan
2	Mordido, Andreia
2	Ng, KengMeng
2	Nordström, Jakob
2	Otpuschennikov, Ilya V.
2	Piątkowski, Marcin
2	Pitassi, Toniann
2	Salhi, Yakoub
2	Seto, Kazuhisa
2	Soeken, Mathias
2	Straßburger, Lutz
2	Sugimoto, Shiho
2	Tzameret, Iddo
2	Weihrauch, Klaus
2	Wernhard, Christoph
2	Wörz, Florian
2	Zheng, Xizhong
2	Zucker, Jeffery I.
1	Ábrahám, Erika
1	Aguado, Felicidad
1	Ahmadi, Reza H.
1	Alekhnovich, Michael
1	Alekseev, Yaroslav
1	Ambos-Spies, Klaus
1	Amir, Eyal
1	Amjad, Hasan
1	Ammoura, Meriem
1	Antonino, Pedro
1	Artemov, Sergei
1	Atserias, Albert
1	Barnett, Lee A.
1	Bauer, Andrej
1	Bazhenov, Nikolaĭ Alekseevich
1	Beame, Paul W.
1	Beck, Chris
1	Beklemishev, Lev D.
1	Beleĭ, Evgeniya Gennad’evna
1	Ben-Sasson, Eli
1	Benhamou, Belaid
1	Berryhill, Ryan
1	Blanck, Jens
1	Blechschmidt, Ingo
1	Blinkhorn, Joshua
1	Bogaerts, Bart
1	Bonet, Maria Luisa
1	Borkin, L. Ya.
...and 225 more Authors

all top 5

Cited in 60 Serials

29	Theoretical Computer Science
16	Annals of Pure and Applied Logic
13	Artificial Intelligence
13	Discrete Applied Mathematics
5	Information Processing Letters
4	Journal of Computer and System Sciences
4	Annals of Mathematics and Artificial Intelligence
3	Semigroup Forum
3	Information and Computation
3	Journal of Automated Reasoning
3	International Journal of Approximate Reasoning
3	Computational Complexity
3	The Journal of Artificial Intelligence Research (JAIR)
3	Theory of Computing Systems
3	Theory and Practice of Logic Programming
3	Journal of Satisfiability, Boolean Modeling and Computation
3	Prikladnaya Diskretnaya Matematika
2	Russian Mathematical Surveys
2	Algebra and Logic
2	Journal of Algebra
2	Proceedings of the American Mathematical Society
2	Journal of Complexity
2	Mathematical Logic Quarterly (MLQ)
2	The Bulletin of Symbolic Logic
2	Logical Methods in Computer Science
2	Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1	Acta Informatica
1	Journal of Mathematical Economics
1	Journal of Pure and Applied Algebra
1	Journal of Soviet Mathematics
1	The Journal of Symbolic Logic
1	Operations Research
1	SIAM Journal on Computing
1	Siberian Mathematical Journal
1	Transactions of the American Mathematical Society
1	Science of Computer Programming
1	Operations Research Letters
1	Journal of Symbolic Computation
1	Computers & Operations Research
1	Formal Aspects of Computing
1	International Journal of Algebra and Computation
1	Mathematical Structures in Computer Science
1	International Journal of Foundations of Computer Science
1	European Journal of Operational Research
1	RAIRO. Informatique Théorique et Applications
1	Archive for Mathematical Logic
1	Formal Methods in System Design
1	Journal of Applied Non-Classical Logics
1	Topology Proceedings
1	Documenta Mathematica
1	Constraints
1	Optimization Methods & Software
1	Interdisciplinary Information Sciences (IIS)
1	Computer Languages, Systems & Structures
1	ACM Transactions on Computational Logic
1	Journal of Applied Logic
1	Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1	Journal of Logical and Algebraic Methods in Programming
1	Modelirovanie i Analiz Informatsionnykh Sistem
1	Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

all top 5

Cited in 20 Fields

144	Computer science (68-XX)
114	Mathematical logic and foundations (03-XX)
15	Operations research, mathematical programming (90-XX)
8	Group theory and generalizations (20-XX)
8	Information and communication theory, circuits (94-XX)
7	Combinatorics (05-XX)
6	General topology (54-XX)
5	History and biography (01-XX)
5	Real functions (26-XX)
3	Quantum theory (81-XX)
2	Order, lattices, ordered algebraic structures (06-XX)
2	Numerical analysis (65-XX)
2	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	General and overarching topics; collections (00-XX)
1	Number theory (11-XX)
1	Category theory; homological algebra (18-XX)
1	Functional analysis (46-XX)
1	Statistics (62-XX)
1	Biology and other natural sciences (92-XX)
1	Mathematics education (97-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.