Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Trakhtenbrot, Boris Avraamovich
Statistics Math-Net.Ru
Total publications: 17
Scientific articles: 16

Number of views:
This page:2712
Abstract pages:3188
Full texts:1709
Professor
Birth date: 20.02.1921

https://www.mathnet.ru/eng/person40366
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/173975

Publications in Math-Net.Ru Citations
1973
1. B. A. Trakhtenbrot, “Frequency computations”, Trudy Mat. Inst. Steklov., 133 (1973),  221–232  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 133 (1977), 223–234
1970
2. B. A. Trakhtenbrot, “Autoreducibility”, Dokl. Akad. Nauk SSSR, 192:6 (1970),  1224–1227  mathnet  mathscinet  zmath
1969
3. B. A. Trakhtenbrot, “The complexity of reduction algorithms in Novikov-Boone constructions.”, Algebra Logika, 8:1 (1969),  93–128  mathnet  mathscinet
1966
4. B. A. Trakhtenbrot, “Normed signalizers for Turing computations”, Algebra i Logika. Sem., 5:6 (1966),  61–70  mathnet  mathscinet
5. B. A. Trakhtenbrot, “Letter to the editor”, Algebra i Logika. Sem., 5:5 (1966),  95  mathnet  mathscinet
1965
6. B. A. Trakhtenbrot, “Optimal computations and the frequency phenomenon of Jablonskiĭ”, Algebra i Logika. Sem., 4:5 (1965),  79–93  mathnet  mathscinet
1964
7. B. A. Trakhtenbrot, “Turing computers with logarithmic delay”, Algebra i Logika. Sem., 3:4 (1964),  33–48  mathnet  mathscinet
8. B. A. Trakhtenbrot, “An estimate of the weight of a finite tree”, Sibirsk. Mat. Zh., 5:1 (1964),  186–191  mathnet  mathscinet  zmath
1963
9. B. A. Trakhtenbrot, “On the frequency computability of functions”, Algebra i Logika. Sem., 2:1 (1963),  25–32  mathnet  mathscinet
1962
10. B. A. Trakhtenbrot, “Finite automata and the logic of one-place predicates”, Sibirsk. Mat. Zh., 3:1 (1962),  103–131  mathnet  mathscinet  zmath 3
1961
11. B. A. Trakhtenbrot, “Finite automata and the logic of single-place predicates”, Dokl. Akad. Nauk SSSR, 140:2 (1961),  326–329  mathnet  mathscinet  zmath
12. B. A. Trakhtenbrot, “Certain constructions in the logic of one-place predicates”, Dokl. Akad. Nauk SSSR, 138:2 (1961),  320–321  mathnet  mathscinet  zmath
1958
13. B. A. Trakhtenbrot, “The synthesis of logical nets whose operators are described in terms of one-place predicate calculus”, Dokl. Akad. Nauk SSSR, 118:4 (1958),  646–649  mathnet  mathscinet  zmath 1
14. B. A. Trakhtenbrot, “The theory of non-repeating contact schemes”, Trudy Mat. Inst. Steklov., 51 (1958),  226–269  mathnet  mathscinet  zmath
1957
15. B. A. Trakhtenbrot, “On operators realizable in logical nets”, Dokl. Akad. Nauk SSSR, 112:6 (1957),  1005–1007  mathnet  mathscinet  zmath 1
1956
16. B. A. Trakhtenbrot, “Definition of finite set and deductive incompleteness of the theory of sets”, Izv. Akad. Nauk SSSR Ser. Mat., 20:4 (1956),  569–582  mathnet  mathscinet  zmath
2013
17. D. A. Archangelsky, B. S. Baizhanov, O. V. Belegradek, V. Ya. Belyaev, L. A. Bokut, M. K. Valiev, S. K. Vodopyanov, M. Gitik, Yu. S. Gurevich, D. O. Daderkin, A. M. Dekhtyar, M. I. Dekhtyar, A. Ya. Dikovsky, S. M. Dudakov, E. I. Zelmanov, B. I. Zilber, S. L. Krushkal, S. S. Kutateladze, Yu. V. Matiyasevich, G. E. Mints, I. Kh. Musikaev, A. K. Rebrov, Yu. G. Reshetnyak, A. L. Semenov, A. P. Stolboushkin, I. A. Taimanov, B. A. Trakhtenbrot, “Mikhail Abramovich Taitslin (1936–2013)”, Sib. Èlektron. Mat. Izv., 10 (2013),  54–65  mathnet

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024