Revision as of 09:44, 13 May 2022 edit Felix QW (talk \| contribs) Extended confirmed users 8,596 edits →History: Updated information. Tag: 2017 wikitext editor ← Previous edit		Revision as of 07:18, 16 October 2023 edit undo Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,968 edits →2014: Different Martin Hofmann. (Martin Hofmann links to an article about a Czech actor.)) Next edit →
Line 52: ==== 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]], "A multiple-conclusion meta-logic"

Symposium on Logic in Computer Science: Difference between revisions