Symposium on Logic in Computer Science: Difference between revisions

Revision as of 07:18, 26 February 2024

Revision as of 16:42, 28 October 2024

Line 41:

==== 2011 ====

*[[Patrice Godefroid]], [[Pierre Wolper]], "A partial approach to model checking"

*[[Joshua Hodas]], [[Dale A.Miller (academic)|Dale Miller]], "Logic programming in a fragment of intuitionistic linear logic"

*[[Dexter Kozen]], "A completeness theorem for Kleene algebras and the algebra of regular events"

Line 55:

==== 2014 ====

*{{ill|Martin Hofmann (computer scientist)|lt=Martin Hofmann|de|Martin Hofmann (Informatiker)}}, [[Thomas Streicher]], "The groupoid model refutes uniqueness of identity proofs"

*[[Dale A.Miller (academic)|Dale Miller]], "A multiple-conclusion meta-logic"

==== 2015 ====