Browse Special Issues

Special Issue for the 13th International Conference on "FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES" FOSSACS 2010 (6 articles)

2010

Editor: Luke Ong


Special Issue for the 19th European Symposium on Programming "ESOP 2010" (7 articles)

2010

Editors: Andrew Gordon, Michael Hicks


Selected Papers of the Conference "Rewriting Techniques and Applications RTA 2010" (5 articles)

2010

Editor: Christopher A. Lynch, Hubert Comon-Lundh


Selected Papers of the Conference "Logic in Computer Science (LICS) 2010" (7 articles)

2010

Editor: Anca Muscholl, Martín Escardó, Jean-Pierre Jouannaud


Selected Papers of the Conference "Computer Science Logic CSL 2010" (8 articles)

2010

Editor: Anuj Dawar, Helmut Veith


Special Issue: Types for Proofs and Programs, 2010 (9 articles)

2010

Editors: Henk Barendregt, Pawel Urzyczyn


Special Issue for the 13th International Conference on Database Theory, ICDT 2010 (4 articles)

2010

Editor: Luc Segoufin


Special Issue for the "Seventh International Conference on Computability and Complexity in Analysis (CCA 2010)" (8 articles)

2010

Editors: Ning Zhong, Xizhong Zheng, S. Barry Cooper, Klaus Weihrauch


Special Issue for the Conference on Computer Science Logic CSL 2009 (6 articles)

2009

Editor: Reinhard Kahle, Erich Grädel


Selected Papers of the International Colloquium on Automata, Languages and Programming 2009 (9 articles)

2009

Editor: Wolfgang Thomas