Browse Special Issues

Fifteenth International Conference on "Tools and Algorithms for the Construction and Analysis of Systems TACAS 2009" (4 articles)

2009

Editor: Anna Philippou


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

2009

Editor: Wolfgang Thomas


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

2009

Editor: Reinhard Kahle, Erich Grädel


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 13th International Conference on Database Theory, ICDT 2010 (4 articles)

2010

Editor: Luc Segoufin


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


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 "Rewriting Techniques and Applications RTA 2010" (5 articles)

2010

Editor: Christopher A. Lynch, Hubert Comon-Lundh


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

2010

Editors: Andrew Gordon, Michael Hicks