SPECIAL ISSUES ARCHIVE OF 2010
Special Issue for the "Seventh International Conference on Computability and Complexity in Analysis (CCA 2010)" Editors: Martín Escardó, Klaus Weihrauch, Xizhong Zheng, Ning Zhong
Special Issue for the 13th International Conference on Database Theory, ICDT 2010 Editor: Luc Segoufin
Selected Papers of the Conference "Computer Science Logic CSL 2010" Editors: Anuj Dawar, Helmut Veith
Special Issue: Types for Proofs and Programs, 2010 Editor: Pawel Urzyczyn
Selected Papers of the Conference "Logic in Computer Science (LICS) 2010" Editors: Martín Escardó, Jean-Pierre Jouannaud, Anca Muscholl
Selected Papers of the Conference "Rewriting Techniques and Applications RTA 2010" Editor: Christopher A. Lynch
Special Issue for the 19th European Symposium on Programming "ESOP 2010" Editors: Andrew Gordon, Michael Hicks
Special Issue for the 13th International Conference on "FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES" FOSSACS 2010 Editor: Luke Ong