logical methods in computer science (21)
international journal of foundations of computer science (20)
information and computation (10)
lecture notes in computer science (9)
leibniz international proceedings in informatics, lipics (7)
bmc medical informatics and decision making (6)
formal methods in system design (5)
frontiers in immunology (5)
fundamenta informaticae (5)
jmir medical informatics (5)
journal of computer and system sciences (5)
studies in health technology and informatics (5)
acm transactions on computational logic (4)
heart (4)
logical methods in computer science (lmcs) (4)
mathematical foundations of computer science 2010 (4)
developments in language theory (3)
information & computation (3)
international journal on software tools for technology transfer (3)
materials (3)
studies in health technology & informatics (3)
2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on (2)
31st international conference on concurrency theory (2)
34th international conference on foundation of software technology and theoretical computer science (2)
43rd international colloquium on automata, languages, and programming (2)
arxiv (2)
bmc medical informatics & decision making (2)
computer science logic (2)
electronic proceedings in theoretical computer science (2)
formal methods in system design: an international journal (2)
foundations of software science and computation structures (2)
journal of computer & system sciences (2)
lics '18---33rd annual acm/ieee symposium on logic in computer science (2)
materials (1996-1944) (2)
procedia structural integrity (2)
proceedings - symposium on logic in computer science (2)
proceedings of the 2015 30th annual acm,ieee symposium on logic in computer science (2)
proceedings of the 31st annual acm/ieee symposium on logic in computer science (2)
proceedings of the 31st annual acm-ieee symposium on logic in computer science (lics 2016) (2)
proceedings of the 33rd annual acm/ieee symposium on logic in computer science (2)
2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on (1)
2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on (1)
2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on (1)
acm siglog news (1)
heart british cardiac society (1)
materials basel switzerland (1)
proceedings of the 2012 27th annual ieee/acm symposium on logic in computer science (1)
proceedings of the 2013 28th annual acm/ieee symposium on logic in computer science (1)
proceedings of the 32nd annual acm/ieee symposium on logic in computer science (1)
proceedings of the twenty-sixth acm sigmod-sigact-sigart symposium on principles of database systems (1)