journal of functional programming (5)
electronic notes in theoretical computer science (3)
journal of automated reasoning (3)
monthly notices of the royal astronomical society (3)
acm sigplan notices (2)
alternative therapies in health & medicine (2)
electronic proceedings in theoretical computer science (2)
frontiers in bioengineering and biotechnology (2)
fundamenta informaticae (2)
2019 ieee high performance extreme computing conference (hpec) (1)
acm sigbed review (1)
chinese science bulletin (1)
computational intelligence and neuroscience (1)
first international conference onsoftware engineering and formal methods, 2003.proceedings., software engineering and formal methods, 2003.proceedings. first international conference on, software engineering and formal methods (1)
frontiers of combining systems (9783540290513) (1)
higher-order and symbolic computation (1)
information and computation (1)
journal of laparoendoscopicadvanced surgical techniques. part a (1)
journal of periodontology (1)
journal of software (1)
journal of symbolic logic (1)
proceedings 16th annual ieee symposium on logic in computer science (1)
proceedings 16th annual ieee symposium on logic in computer science, logic in computer science, 2001. proceedings. 16th annual ieee symposium on, logic in computer science (1)
proceedings fifteenth annual ieee symposium on logic in computer science (cat. no.99cb36332) (1)
proceedings fifteenth annual ieee symposium on logic in computer science (cat. no.99cb36332), logic in computer science, 2000. proceedings. 15th annual ieee symposium on, logic in computer science (1)
proceedings of the first international conference on software engineering & formal methods, 2003 (1)
proceedings of the sixth acm sigplan international conference on functional programming (1)
publications of the astronomical society of australia (1)
rewriting techniques & applications (1)
science of computer programming (1)
scientia sinica physica, mechanica & astronomica (1)
surgical endoscopy (1)
the astrophysical journal letters (1)