The following pages link to Corrado Böhm
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Computer science (links | edit)
- List of computer scientists (links | edit)
- Timeline of programming languages (links | edit)
- Structured programming (links | edit)
- Robin Milner (links | edit)
- Dana Scott (links | edit)
- Richard M. Karp (links | edit)
- History of programming languages (links | edit)
- TPK algorithm (links | edit)
- Sapienza University of Rome (links | edit)
- Structured program theorem (links | edit)
- European Association for Theoretical Computer Science (links | edit)
- Böhm (links | edit)
- P′′ (links | edit)
- Bijective numeration (links | edit)
- Paul Bernays (links | edit)
- Boris Trakhtenbrot (links | edit)
- Éva Tardos (links | edit)
- Leslie Valiant (links | edit)
- List of pioneers in computer science (links | edit)
- Programming language theory (links | edit)
- Meta-circular evaluator (links | edit)
- Turing machine equivalents (links | edit)
- Patrick Cousot (links | edit)
- Corrado Bohm (redirect page) (links | edit)
- Arto Salomaa (links | edit)
- Moshe Vardi (links | edit)
- Eduard Stiefel (links | edit)
- Corrado (given name) (links | edit)
- Mihalis Yannakakis (links | edit)
- Kurt Mehlhorn (links | edit)
- Corrado Boehm (redirect page) (links | edit)
- Mike Paterson (links | edit)
- Gérard Huet (links | edit)
- List of programming language researchers (links | edit)
- History of compiler construction (links | edit)
- Luca Spinelli (links | edit)
- Grzegorz Rozenberg (links | edit)
- List of Italian mathematicians (links | edit)
- Maurice Nivat (links | edit)
- Böhm tree (links | edit)
- Toniann Pitassi (links | edit)
- Amos Fiat (links | edit)
- Noam Nisan (links | edit)
- Thomas Henzinger (links | edit)
- Böhm's language (links | edit)
- Giorgio Ausiello (links | edit)
- Deaths in October 2017 (links | edit)
- Mariangiola Dezani-Ciancaglini (links | edit)
- Lorenza Saitta (links | edit)