limits of computation (9783319278872) (25)
journal of automated reasoning (9)
mathematical structures in computer science (6)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (4)
theoretical computer science (4)
annals of pure and applied logic (3)
applied categorical structures (3)
computer science logic (3)
information and computation (3)
frontiers in immunology (2)
logical methods in computer science (2)
theranostics (2)
2011 ieee 27th international conference on data engineering workshops, data engineering workshops (icdew), 2011 ieee 27th international conference on (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
acm / sigplan notices (1)
acm sigplan notices (1)
algebraic methodology and software technology (1)
annals of pure & applied logic (1)
applied categorical structures. a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science (1)
applied categorical structures: a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science (1)
automata, languages & programming (9783540275800) (1)
automata, languages and programming (1)
automata, languages and programming. part ii (1)
category theory and computer science (santa margherita ligure, 1997) (1)
computer aided verification (1)
computer aided verification. part ii (1)
computer science logic (9783540454588) (1)
computer science logic (9783642040269) (1)
computer science logic (madrid, 1999) (1)
computer science logic 2011 (1)
electronic notes in theoretical computer science (1)
foundations of software science & computational structures (9783642120312) (1)
foundations of software science and computational structures (1)
frontiers of combining systems (9783540290513) (1)
fundamentals of computation theory (1)
information & computation (1)
journal of functional programming (1)
mathematical foundations of computer science 1993 (gdansk, 1993) (1)
proceedings of the 38th annual acm sigplan-sihact symposium: principles of programming languages (1)
programming languages & systems (9783540254355) (1)
theorem proving in higher order logics (9783540615873) (1)
theorem proving in higher order logics (9783540678632) (1)
verification, model checking & abstract interpretation (9783642279393) (1)
verification, model checking, and abstract interpretation (1)