 of Computer Science ), Christos Papadimitriou (2002 Knuth Prize , 2012 Gödel Prize ) and Mihalis Yannakakis (2005 Knuth Prize)
<coherence>  of Computer Science ), Christos Papadimitriou (2002 Knuth Prize , 2012 Gödel Prize ) and Mihalis Yannakakis (2005 Knuth Prize)
 of Computer Science ), Christos Papadimitriou (2002 Knuth Prize ) and Mihalis Yannakakis (2005 Knuth Prize)