logical methods in computer science (22)
journal of symbolic logic (19)
algebra universalis (18)
journal of the acm (15)
siam journal on computing (14)
transactions of the american mathematical society (14)
theoretical computer science (12)
theory of computing systems (12)
journal of logic and computation (11)
acm transactions on computational logic (10)
the journal of symbolic logic (10)
journal of artificial intelligence research (9)
israel journal of mathematics (8)
siam journal on discrete mathematics (7)
artificial intelligence (6)
international journal of algebra & computation (6)
european journal of combinatorics (5)
journal of logic & computation (5)
electronic journal of combinatorics (4)
international journal of algebra and computation (4)
random structures & algorithms (4)
combinatorics, probability and computing (3)
computer science logic (3)
constraints. an international journal (3)
constraints: an international journal (3)
discrete applied mathematics (3)
information and computation (3)
information processing letters (3)
journal of group theory (3)
journal of mathematical logic (3)
random structures \& algorithms (3)
2021 36th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2021 36th annual acm/ieee symposium on (2)
beyond the horizon of computability (2)
constraints (2)
journal of computer and system sciences (2)
logical methods in computer science (lmcs) (2)
mathematical foundations of computer science 2010 (2)
proceedings of the london mathematical society (2)
stacs 2005 (2)
stacs 2006 (2)
2010 25th annual ieee symposium on logic in computer science, logic in computer science (lics), 2010 25th annual ieee symposium on (1)
2011 ieee 26th annual symposium on logic in computer science, logic in computer science (lics), 2011 26th annual ieee symposium on (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)
2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on (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 international conference proceeding series (1)
algorithms & computation (9783540309352) (1)
combinatorica (1)
information & computation (1)
journal of computer & system sciences (1)