Content deleted Content added
Tom.Reding (talk | contribs) m +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on |
|||
Line 83:
* [[Luca de Alfaro]], [[Thomas A. Henzinger]], "Concurrent Omega-Regular Games"
* [[Hiroshi Nakano (computer scientist)|Hiroshi Nakano]], "A Modality for Recursion"
==== 2021 ====
* [[Aaron Stump;]], [[Clark W. Barrett]], [[David L. Dill]], [[Jeremy R. Levitt]], "A Decision Procedure for an Extensional Theory of Arrays"
* [[Hongwei Xi]], "Dependent Types for Program Termination Verification"
=== Kleene award ===
|