Boris Abramovich Trakhtenbrot (on the centenary of his birth)
- Authors: Artemov S.N., Barzdiņš J.M., Bokut' L.A., Gurevich Y., Dekhtyar' A.M., Levin L.A., Lomazova I.A., Matiyasevich Y.V., Nepomniaschy V.A., Novikov S.P., Rabinovich A., Sazonov V.Y., Slisenko A.O., Sokolov V.A., Trakhtenbrot M.B., Shilov N.V.
- Issue: Vol 77, No 1 (2022)
- Pages: 191-195
- Section: Articles
- URL: https://journals.rcsi.science/0042-1316/article/view/133725
- DOI: https://doi.org/10.4213/rm10048
- ID: 133725
Cite item
Open Access
Access granted
Subscription Access
Abstract
About the authors
Sergei Nikolaevich Artemov
Email: SArtemov@gc.cuny.edu
Jānis Martynovich Barzdiņš
Leonid Arkad'evich Bokut'
Email: bokut@math.nsc.ru
Doctor of physico-mathematical sciences, Professor
Yuri Gurevich
Doctor of physico-mathematical sciences
Alexander Mikhailovich Dekhtyar'
Leonid Anatol`evich Levin
Candidate of physico-mathematical sciences
Irina Aleksandrovna Lomazova
Doctor of physico-mathematical sciences, Professor
Yuri Vladimirovich Matiyasevich
Email: yumat@pdmi.ras.ru
Doctor of physico-mathematical sciences, Professor
Valery Alexandrovich Nepomniaschy
Email: vnep@iis.nsk.su
Candidate of physico-mathematical sciences, Senior Researcher
Sergei Petrovich Novikov
Email: snovikov@mi-ras.ru
Doctor of physico-mathematical sciences, Professor
A. Rabinovich
Email: rabinoa@tauex.tau.ac.il
Vladimir Yur'evich Sazonov
Email: sazonov@liverpool.ac.uk
Candidate of physico-mathematical sciences, Senior Researcher
Anatol Oles'evich Slisenko
Doctor of physico-mathematical sciences, Professor
Valery Anatolievich Sokolov
Email: sokolov@uniyar.ac.ru
Doctor of physico-mathematical sciences, Professor
Mark Borisovich Trakhtenbrot
Email: markt@hit.ac.il
Nikolai Vyacheslavovich Shilov
Email: shiloviis@mail.ru
Candidate of physico-mathematical sciences, Associate professor
References
- 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
- B. A. Trakhtenbrot, “In memory of S. A. Yanovskaya (1896–1966) on the centenary of her birth”, Modern Logic, 7:2 (1997), 160–187
- 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
- Reviews of Boris Trakhtenbrot's books, 2017
- 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
- Б. А. Трахтенброт, “Памяти Андрея Петровича Ершова”, Андрей Петрович Ершов – ученый и человек, Изд-во СО РАН, Новосибирск, 2006, 343–352
- 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.
- B. A.Trakhtenbrot, “A survey of Russian approaches to perebor (brute-force search) algorithms”, Ann. Hist. Comput., 6:4 (1984), 384–400
- 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.
- L. M. Fisher, In memoriam: Boris Trakhtenbrot, 1921–2016, ACM News, 2016
- Boaz (Boris) Trakhtenbrot, 2016
- EATCS annual Distinguished Achievements Award of 2011
- Семинар по математическим основам информатики, посвященный столетию со дня рождения Б. A. Трахтенброта, 2021
- 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
Supplementary files
