LICS Test-of-Time Award
E239159
UNEXPLORED
The LICS Test-of-Time Award is a prestigious honor in theoretical computer science that recognizes papers presented at the Logic in Computer Science (LICS) symposium which have had a lasting and significant impact on the field.
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
Moshe Y. Vardi → |
awardReceived |