acm transactions on computational logic (6)
information and computation (5)
annals of pure and applied logic (4)
journal of logic and computation (4)
annals of mathematics and artificial intelligence (3)
annals of pure & applied logic (3)
journal of computer and system sciences (3)
logics in artificial intelligence (3)
27th international conference on database theory (2)
annals of mathematics & artificial intelligence (2)
foundations of information and knowledge systems (2)
information & computation (2)
journal of computer & system sciences (2)
journal of logic & computation (2)
2023 ieee 39th international conference on data engineering (icde), data engineering (icde), 2023 ieee 39th international conference on, icde (1)
29th eacsl annual conference on computer science logic (1)
automated reasoning (1)
computer science logic 2013 (1)
computer science logic 2017 (1)
foundations of information & knowledge systems (9783319300238) (1)
foundations of information & knowledge systems: 8th international symposium, foiks 2014, bordeaux, france, march 3-7, 2014. proceedings (1)
ieee transactions on knowledge and data engineering (1)
logic & its applications: 6th indian conference, icla 2015, mumbai, india, january 8-10, 2015. proceedings (1)
logic and its applications (1)
logic for programming, artificial intelligence & reasoning: 20th international conference, lpar-20 2015, suva, fiji, november 24-28, 2015, proceedings (1)
logic for programming, artificial intelligence, and reasoning (1)
logic, language, information, and computation (1)
logical foundations of computer science (1)
logical methods in computer science (1)
logical methods in computer science (lmcs) (1)
lpar-21. 21st international conference on logic for programming, artificial intelligence and reasoning (1)
mathematical foundations of computer science 2015. part i (1)
mathematical foundations of computer science 2015: 40th international symposium, mfcs 2015, milan, italy, august 24-28, 2015, proceedings, part i (1)
proceedings of the 35th annual acm/ieee symposium on logic in computer science (lics 2020) (1)
proceedings of the seventh international symposium on games, automata, logics and formal verification (1)
the vldb journal: the international journal on very large data bases (1)
vldb journal (1)
vldb journal international journal on very large data bases (1)