topology and its applications (9)
international journal of foundations of computer science (6)
theory of computing systems (6)
logical methods in computer science (4)
information and computation (3)
topology & its applications (3)
tsukuba journal of mathematics (3)
automata, languages, and programming. part ii (2)
fundamenta mathematicae (2)
language, life, limits (2)
polish academy of sciences. bulletin. mathematics (2)
proceedings of the american mathematical society (2)
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)
2020 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2020 ieee international conference on (1)
2022 international joint conference on neural networks (ijcnn), neural networks (ijcnn), 2022 international joint conference on (1)
29th international symposium on theoretical aspects of computer science (1)
35th iarcs annual conference on foundations of software technology and theoretical computer science (1)
42nd international symposium on mathematical foundations of computer science (1)
automata, languages & programming: 41st international colloquium, icalp 2014, copenhagen, denmark, july 8-11, 2014, proceedings, part ii (1)
automata, languages & programming: 42nd international colloquium, icalp 2015, kyoto, japan, july 6-10, 2015, proceedings, part ii (1)
automated reasoning with analytic tableaux and related methods (1)
bulletin of the polish academy of sciences. mathematics (1)
commentationes mathematicae universitatis carolinae (1)
computer games (9783319394015) (1)
computer science logic 2016 (1)
developments in language theory (1)
developments in language theory: 20th international conference, dlt 2016, montreal, canada, july 25-28, 2016, proceedings (1)
findings of the association for computational linguistics: naacl 2022 (1)
fundamenta informaticae (1)
information & computation (1)
journal of automata, languages and combinatorics (1)
logic & program semantics (1)
logic and program semantics (1)
logical foundations of computer science (1)
logical foundations of computer science: international symposium, lfcs 2016, deerfield beach, fl, usa, january 4-7, 2016. proceedings (1)
mathematical foundations of computer science 2014. part i (1)
mathematical foundations of computer science 2014: 39th international symposium, mfcs 2014, budapest, hungary, august 25-29, 2014. proceedings, part i (1)
proceedings 9th interaction and concurrency experience (1)
proceedings of the 2015 30th annual acm,ieee symposium on logic in computer science (1)
proceedings of the 31st annual acm-ieee symposium on logic in computer science (lics 2016) (1)
rairo theoretical informatics and applications. informatique theorique et applications (1)
stacs 2009: 26th international symposium on theoretical aspects of computer science (1)
the journal of symbolic logic (1)
theoretical computer science (1)