Content deleted Content added
→Test-of-Time Award: added 2010, 2009 awards, fixed some name links |
→2011: fixed link to wrong person |
||
Line 28:
==== 2011 ====
*[[Patrice Godefroid]], [[Pierre Wolper]], "A partial approach to model checking"
*[[Joshua Hodas]], [[Dale A. Miller]], "Logic programming in a fragment of intuitionistic linear logic"
*[[Dexter Kozen]], "A completeness theorem for Kleene algebras and the algebra of regular events"
| |||