theoretical computer science (15)
information and computation (9)
science of computer programming (9)
journal of logical and algebraic methods in programming (6)
entcs: electronic notes in theoretical computer science (5)
logical methods in computer science (5)
electronic notes in theoretical computer science (4)
formal aspects of computing (4)
fundamenta informaticae (4)
information & computation (3)
software & systems modeling (3)
information processing & management (2)
international journal of cooperative information systems (2)
international journal of intelligent systems (2)
knowledge-based systems (2)
mathematical structures in computer science (2)
sensors (14248220) (2)
2009 24th annual ieee symposium on logic in computer science, logic in computer science, 2009. lics '09. 24th annual ieee symposium on (1)
2020 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase),2020 international symposium on, tase (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)
24th annual ieee symposium on logic in computer science (1)
automata, languages & programming: 41st international colloquium, icalp 2014, copenhagen, denmark, july 8-11, 2014, proceedings, part ii (1)
automata, languages, and programming. part ii (1)
automated reasoning (1)
automated reasoning (9783642313646) (1)
coalgebraic methods in computer science (1)
coalgebraic methods in computer science (9783319403694) (1)
concur 2009 - concurrency theory (1)
concur 2009---concurrency theory (1)
coordination models & languages (9783642020520) (1)
formal methods---the next 30 years (1)
foundations of software science & computation structures (9783642548291) (1)
foundations of software science & computational structures (9783642005954) (1)
foundations of software science and computation structures (1)
foundations of software science and computational structures (1)
fundamentals of software engineering (9783642402128) (1)
horizons of the mind. a tribute to prakash panangaden (1)
language & automata theory & applications (9783642370632) (1)
language and automata theory and applications (1)
mathematical foundations of computer science 1993 (gdansk, 1993) (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)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
mathematics of program construction (1)
proceedings of the 2005 acm symposium: applied computing (1)
proceedings of the 28th conference on the mathematical foundations of programming semantics (mfps xxviii) (1)
semantics: foundations and applications (beekbergen, 1992) (1)
sofsem 2013: theory and practice of computer science (1)
software and systems modeling (1)
theoretical aspects of computing---ictac 2021 (1)