information and computation (35)
theoretical computer science (31)
fundamenta informaticae (25)
acm transactions on computational logic (18)
artificial intelligence (13)
information & computation (13)
acta informatica (11)
logical methods in computer science (8)
annals of mathematics and artificial intelligence (7)
journal of high speed networks (7)
annals of mathematics & artificial intelligence (6)
international journal of foundations of computer science (4)
procedia computer science (4)
2013 28th annual acm/ieee symposium on logic in computer science (3)
logic for programming, artificial intelligence, and reasoning (3)
prima 2015: principles & practice of multi-agent systems (3)
2013 28th annual acm/ieee symposium on logic in computer science (lics 2013) (2)
2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on (2)
2016 30th international conference on advanced information networking & applications workshops (waina) (2)
developments in language theory (2)
formal methods in system design (2)
implementation and application of automata (2)
journal of logic and computation (2)
logics in artificial intelligence (2)
mathematical foundations of computer science 2009 (2)
proceedings of the 2013 28th annual acm ieee symposium on logic in computer science (2)
science of computer programming (2)
verification, model checking & abstract interpretation (9783540436317) (2)
2009 24th annual ieee symposium on logic in computer science, logic in computer science, 2009. lics '09. 24th annual ieee symposium on (1)
2009 ninth ieee international conference on advanced learning technologies, advanced learning technologies, 2009. icalt 2009. ninth ieee international conference on (1)
2014 21st international symposium on temporal representation & reasoning (1)
2014 21st international symposium on temporal representation and reasoning, temporal representation and reasoning (time), 2014 21st international symposium on (1)
2015 22nd international symposium on temporal representation & reasoning (time) (1)
2015 22nd international symposium on temporal representation and reasoning (time), temporal representation and reasoning (time), 2015 22nd international symposium on (1)
2016 30th international conference on advanced information networking and applications workshops (waina), advanced information networking and applications workshops (waina), 2016 30th international conference 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)
2019 ieee international symposium on measurements & networking (m&n), measurements & networking (m&n), 2019 ieee international symposium on (1)
2023 ieee international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2023 ieee international conference on (1)
acm international conference proceeding series (1)
advances in web-based learning - icwl 2012 (1)
advances on p2p, parallel, grid, cloud & internet computing (1)
automata, languages & programming (9783540359074) (1)
control & cybernetics (1)
electronic proceedings in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
formal methods in system design: an international journal (1)
logic for programming, artificial intelligence & reasoning (9783540305538) (1)
proceedings of the twenty-seventh international joint conference on artificial intelligence (1)
proceedings of the twenty-sixth international joint conference on artificial intelligence (1)
theoretical aspects of computing - ictac 2004 (1)