The following pages link to Boris Trakhtenbrot
External toolsShowing 48 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Computational complexity theory (links | edit)
- Robin Milner (links | edit)
- Dana Scott (links | edit)
- Richard M. Karp (links | edit)
- Leonid Levin (links | edit)
- Cook–Levin theorem (links | edit)
- Decidability (logic) (links | edit)
- List of undecidable problems (links | edit)
- European Association for Theoretical Computer Science (links | edit)
- Corrado Böhm (links | edit)
- Gap theorem (links | edit)
- Éva Tardos (links | edit)
- Leslie Valiant (links | edit)
- Dondușeni District (links | edit)
- Trakhtenbrot's theorem (links | edit)
- Patrick Cousot (links | edit)
- Arto Salomaa (links | edit)
- List of Jewish mathematicians (links | edit)
- Moshe Vardi (links | edit)
- Mihalis Yannakakis (links | edit)
- Kurt Mehlhorn (links | edit)
- Trachtenbrot (redirect page) (links | edit)
- Trakhtenbrot (redirect page) (links | edit)
- Mike Paterson (links | edit)
- Gérard Huet (links | edit)
- Timeline of mathematical logic (links | edit)
- Tîrnova, Dondușeni (links | edit)
- Grzegorz Rozenberg (links | edit)
- Maurice Nivat (links | edit)
- List of Russian scientists (links | edit)
- List of Russian mathematicians (links | edit)
- Toniann Pitassi (links | edit)
- Amos Fiat (links | edit)
- Noam Nisan (links | edit)
- Jerome Kristian (links | edit)
- Thomas Henzinger (links | edit)
- Logic of graphs (links | edit)
- Deaths in September 2016 (links | edit)
- Büchi-Elgot-Trakhtenbrot theorem (links | edit)
- Talk:Boris Trakhtenbrot (transclusion) (links | edit)
- User:Mathbot/Mathematicians missing photo (links | edit)
- User:Tony Sidaway/Living people/tranche 090 (links | edit)
- User:Rusted AutoParts/Deaths of 2010-2019 (links | edit)
- User:Stinglehammer/Mactutor (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematicians (T) (links | edit)
- Misplaced Pages:WikiProject Short article clean-up/August Dump/B/4501-5000 (links | edit)
- Misplaced Pages:MacTutor archive/Biographies P-T (links | edit)
- Template:EATCS Award laureates (links | edit)