acm / sigplan notices (8)
acm sigplan notices (8)
journal of functional programming (6)
journal of machine learning research (5)
acm transactions on computational logic (4)
logical methods in computer science (4)
theoretical computer science (4)
acm transactions on programming languages & systems (3)
information and computation (3)
logic journal of the igpl (3)
vanderbilt journal of entertainment & technology law (3)
2014 ieee 27th computer security foundations symposium (2)
2019 34th annual acm/ieee symposium on logic in computer science (lics) (2)
2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on (2)
43rd international colloquium on automata, languages, and programming (2)
computer science logic (2)
journal of logic and computation (2)
journal of machine learning research (jmlr) (2)
mathematical foundations of computer science 2009 (2)
mathematical structures in computer science (2)
science of computer programming (2)
13th international conference on interactive theorem proving (1)
1st summit on advances in programming languages (1)
2011 ieee 26th annual symposium on logic in computer science, logic in computer science (lics), 2011 26th annual ieee symposium on (1)
2014 ieee 27th computer security foundations symposium, computer security foundations symposium (csf), 2014 ieee 27th (1)
2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on (1)
2020 ieee international conference on multisensor fusion and integration for intelligent systems (mfi), multisensor fusion and integration for intelligent systems (mfi), 2020 ieee international conference on (1)
2020 ieee symposium on security and privacy (sp), security and privacy (sp), 2020 ieee symposium on (1)
2022 ieee 35th computer security foundations symposium (csf), computer security foundations symposium (csf), 2022 ieee 35th, csf (1)
26th annual ieee symposium on logic in computer science---lics 2011 (1)
3rd symposium on foundations of responsible computing (1)
47th international colloquium on automata, languages, and programming (1)
51st international colloquium on automata, languages, and programming (1)
acm international conference proceeding series (1)
algorithmic learning theory (1)
computer science logic (9783540749141) (1)
computer science logic (9783642040269) (1)
electronic journal of statistics (1)
entcs: electronic notes in theoretical computer science (1)
harvard journal of law & technology (harvard jolt) (1)
icfp'15---proceedings of the 20th acm sigplan international conference on functional programming (1)
icfp'16---proceedings of the 21st acm sigplan international conference on functional programming (1)
information & computation (1)
logic journal of the igpl. interest group in pure and applied logics (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
proceedings of the 31st annual acm-ieee symposium on logic in computer science (lics 2016) (1)
proceedings of the second workshop on logical and semantic frameworks, with applications (lsfa 2007) (1)
stoc'23---proceedings of the 55th annual acm symposium on theory of computing (1)
theory of computing systems (1)
types for proofs and programs (1)