Symposium on Logic in Computer Science: Difference between revisions

Revision as of 11:53, 17 July 2020

Revision as of 11:57, 17 July 2020

Line 76:

*[[Samson Abramsky]], "Domain theory in Logical Form"

*[[Robert Harper]], [[Furio Honsell]], [[Gordon D. Plotkin]], "A Framework for Defining Logics"

==== 2006 ====

*[[Leo Bachmair]], [[Nachum Dershowitz]], [[Jieh Hsiang]], "Orderings for Equational Proofs"

*[[E. Allen Emerson]], [[Chin-Laung Lei]], "Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)"

*[[Moshe Y. Vardi]], [[Pierre Wolper]], "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)"

=== Kleene award ===