Boris Abramovich Trakhtenbrot

DOI10.1070/RM10048zbMath1485.01044OpenAlexW4214942139MaRDI QIDQ5074416

V. A. Nepomnyashchij, Alexander M. Dekhtyar, V. A. Sokolov, Leonid A. Levin, Alexander Rabinovich, N. V. Shilov, A. O. Slisenko, Yuri Gurevich, Yu. V. Matiyasevich, Mark B. Trakhtenbrot, Sergej N. Artemov, Vladimir Yu. Sazonov, Irina A. Lomazova, Ja. M. Barzdin', Leonid A. Bokut'

Publication date: 9 May 2022

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm10048

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Cites Work

• Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
• A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
• From Logic to Theoretical Computer Science – An Update
• Reminiscences
• Boris A. Trakhtenbrot: Academic Genealogy and Publications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Boris Abramovich Trakhtenbrot