Boris Abramovich Trakhtenbrot (on the centenary of his birth)
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 77 (2022) no. 1, pp. 183-188 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{RM_2022_77_1_a9,
     author = {S. N. Artemov and J. M. Barzdi\c{n}\v{s} and L. A. Bokut' and Yu. Gurevich and A. M. Dekhtyar' and L. A. Levin and I. A. Lomazova and Yu. V. Matiyasevich and V. A. Nepomnyashchii and S. P. Novikov and A. Rabinovich and V. Yu. Sazonov and A. O. Slisenko and V. A. Sokolov and M. B. Trakhtenbrot and N. V. Shilov},
     title = {Boris {Abramovich} {Trakhtenbrot} (on the centenary of his birth)},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {183--188},
     year = {2022},
     volume = {77},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2022_77_1_a9/}
}
TY  - JOUR
AU  - S. N. Artemov
AU  - J. M. Barzdiņš
AU  - L. A. Bokut'
AU  - Yu. Gurevich
AU  - A. M. Dekhtyar'
AU  - L. A. Levin
AU  - I. A. Lomazova
AU  - Yu. V. Matiyasevich
AU  - V. A. Nepomnyashchii
AU  - S. P. Novikov
AU  - A. Rabinovich
AU  - V. Yu. Sazonov
AU  - A. O. Slisenko
AU  - V. A. Sokolov
AU  - M. B. Trakhtenbrot
AU  - N. V. Shilov
TI  - Boris Abramovich Trakhtenbrot (on the centenary of his birth)
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2022
SP  - 183
EP  - 188
VL  - 77
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/RM_2022_77_1_a9/
LA  - en
ID  - RM_2022_77_1_a9
ER  - 
%0 Journal Article
%A S. N. Artemov
%A J. M. Barzdiņš
%A L. A. Bokut'
%A Yu. Gurevich
%A A. M. Dekhtyar'
%A L. A. Levin
%A I. A. Lomazova
%A Yu. V. Matiyasevich
%A V. A. Nepomnyashchii
%A S. P. Novikov
%A A. Rabinovich
%A V. Yu. Sazonov
%A A. O. Slisenko
%A V. A. Sokolov
%A M. B. Trakhtenbrot
%A N. V. Shilov
%T Boris Abramovich Trakhtenbrot (on the centenary of his birth)
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2022
%P 183-188
%V 77
%N 1
%U http://geodesic.mathdoc.fr/item/RM_2022_77_1_a9/
%G en
%F RM_2022_77_1_a9
S. N. Artemov; J. M. Barzdiņš; L. A. Bokut'; Yu. Gurevich; A. M. Dekhtyar'; L. A. Levin; I. A. Lomazova; Yu. V. Matiyasevich; V. A. Nepomnyashchii; S. P. Novikov; A. Rabinovich; V. Yu. Sazonov; A. O. Slisenko; V. A. Sokolov; M. B. Trakhtenbrot; N. V. Shilov. Boris Abramovich Trakhtenbrot (on the centenary of his birth). Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 77 (2022) no. 1, pp. 183-188. http://geodesic.mathdoc.fr/item/RM_2022_77_1_a9/

[1] B. A. Trakhtenbrot, “From logic to theoretical computer science – an update”, Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, 1–38 | DOI | MR | Zbl

[2] B. A. Trakhtenbrot, “In memory of S. A. Yanovskaya (1896–1966) on the centenary of her birth”, Modern Logic, 7:2 (1997), 160–187 | MR | Zbl

[3] A. R. Meyer, “Reminiscences”, Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, 39–45 | DOI | MR | Zbl

[4] Reviews of Boris Trakhtenbrot's books, 2017 https://mathshistory.st-andrews.ac.uk/Extras/Trakhtenbrot_books/

[5] A. Avron, N. Dershowitz, A. Rabinovich, “Boris A. Trakhtenbrot: academic genealogy and publications”, Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, 46–57 | DOI | MR | Zbl

[6] B. A. Trakhtenbrot, “Pamyati Andreya Petrovicha Ershova”, Andrei Petrovich Ershov – uchenyi i chelovek, Izd-vo SO RAN, Novosibirsk, 2006, 343–352

[7] B. A. Trakhtenbrot, Selected developments in Soviet mathematical cybernetics. Finite automata, combinational complexity, algorithmic complexity, Monogr. Ser. Soviet Union, Delphic Associates, Falls Church, VA, 1986, xiv+125 pp. | MR | Zbl

[8] B. A.Trakhtenbrot, “A survey of Russian approaches to perebor (brute-force search) algorithms”, Ann. Hist. Comput., 6:4 (1984), 384–400 | DOI | MR | Zbl

[9] A. Avron, N. Dershowitz, A. Rabinovich (eds.), Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, xxi+682 pp. | DOI | MR | Zbl

[10] L. M. Fisher, In memoriam: Boris Trakhtenbrot, 1921–2016, ACM News, 2016 https://cacm.acm.org/news/207650-in-memoriam-boris-trakhtenbrot-1921-2016/fulltext

[11] Boaz (Boris) Trakhtenbrot, 2016 https://exact-sciences.tau.ac.il/computer-h/100_Boaz_Trakhtenbrot

[12] EATCS annual Distinguished Achievements Award of 2011 http://eatcs.org/index.php/eatcs-award

[13] Seminar po matematicheskim osnovam informatiki, posvyaschennyi stoletiyu so dnya rozhdeniya B. A. Trakhtenbrota, 2021 https://pais.hse.ru/centenary

[14] V. Sazonov, “In memory of Boris Trakhtenbrot, Mars Valiev and Michael Dekhtyar”, 9th workshop PSSV. Proceedings, 9th workshop “Program semantics, specification and verification: theory and applications” dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, 2018), Yaroslavl State Univ., Yaroslavl, 2018, 7–11 https://www.elibrary.ru/item.asp?id=35083188