acm transactions on database systems (45)
information and computation (14)
journal of the acm (14)
theory of computing systems (14)
journal of computer and system sciences (13)
communications of the acm (11)
acm international conference proceeding series (7)
finite model theory & its applications (7)
theoretical computer science (7)
the bulletin of symbolic logic (6)
siam journal on computing (5)
annals of pure and applied logic (4)
proceedings of the seventeenth acm sigact-sigmod-sigart symposium: principles of database systems (4)
information processing letters (3)
journal of artificial intelligence research (3)
journal of automated reasoning (3)
journal of symbolic computation (3)
plos biology (3)
acm transactions on economics and computation (2)
database theory---icdt 2012 (2)
discrete applied mathematics (2)
fifth annual ieee symposium on logic in computer science (philadelphia, pa, 1990) (2)
finite model theory and its applications (2)
information & computation (2)
journal of computer & system sciences (2)
journal on data semantics (2)
mathematical foundations of computer science 2000 (bratislava) (2)
proceedings of the 12th international conference: database theory (2)
proceedings of the 15th international conference database theory (2)
proceedings of the 16th international conference extending database technology (2)
proceedings of the 31st symposium principles of database systems (2)
proceedings of the twenty-fourth acm sigmod-sigact-sigart symposium: principles of database systems (2)
proceedings of the twenty-ninth acm sigmod-sigact-sigart symposium: principles of database systems (2)
proceedings of the twenty-seventh acm sigmod-sigact-sigart symposium: principles of database systems (2)
proceedings of the twenty-third acm sigmod-sigact-sigart symposium: principles of database systems (2)
relational and algebraic methods in computer science (2)
sigmod record (2)
the journal of symbolic logic (2)
11th annual ieee symposium on logic in computer science (new brunswick, nj, 1996) (1)
14th symposium on logic in computer science (trento, 1999) (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)
2021 36th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2021 36th annual acm/ieee symposium on (1)
2022 ieee 38th international conference on data engineering (icde), data engineering (icde), 2022 ieee 38th international conference on, icde (1)
22nd annual ieee symposium on logic in computer science (lics 2007), logic in computer science, 2007. lics 2007. 22nd annual ieee symposium on (1)
acm sigmod record (1)
journal of symbolic logic (1)
journal on data semantics: concepts and ideas for building knowledgeable systems (1)
logic for programming & automated reasoning (1)
principles & practice of constraint programming - cp 2004 (1)
studies in logic and the foundations of mathematics (1)