Symposium on Logic in Computer Science: Difference between revisions

Content deleted Content added

Revision as of 07:18, 26 February 2024 edit Bruce Esrig (talk \| contribs) 348 edits m →History: from the third ... correcting Alvy Ray Smith's count ← Previous edit		Latest revision as of 09:18, 2 July 2025 edit undo Qwerty123M (talk \| contribs) Extended confirmed users 7,297 edits Adding local short description: "Computer science and logic conference", overriding Wikidata description "ACM/IEEE annual conference series on logic in computer science" Tag: Shortdesc helper
(One intermediate revision by one other user not shown)
Line 1: {{Short description\|Computer science and logic conference}} {{Hatnote\|For the article on the topic of logic in computer science, see [[logic in computer science]].}} {{More citations needed\|date=July 2020}} Line 41 ⟶ 42: ==== 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 ⟶ 56: ==== 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 ====