| SPECIAL ISSUES IN PROGRESS | |
| |
Selected Papers of the Conference ''Logic in Computer Science 2007"
| Editors: | Erich Grädel, Luke Ong, Andrew M Pitts |
|
Selected Papers of the Conference ''Computer Science Logic 2007"
| Editors: | Jacques Duparc, Thomas A Henzinger |
|
Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007"
| Editors: | Ugo Montanari, Till Mossakowski |
|
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007"
| Editors: | Simona Ronchi Della Rocca, Paula Severi |
|
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009"
| Editors: | Patrick Baillot, Pierre-Louis Curien, Luca Paolini |
|
Special Issue of the Symposium on Principles of Programming Languages 2009
| Editors: | Nick Benton, Patricia Johann |
|
Fifteenth International Conference on "Tools and Algorithms for the Construction and Analysis of Systems TACAS 2009"
| Editors: | Adam Bakewell, Stefan Kowalewski, Anna Philippou |
|
Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009
| Editors: | Jean Goubault-Larrecq, Ralf Treinen |
|
Selected Papers of the International Colloquium on Automata, Languages and Programming 2009
| Editors: | Luke Ong, Luc Segoufin, Wolfgang Thomas, Igor Walukiewicz |
|
Selected Papers of the Conference ''Logic in Computer Science 2009''
| Editors: | Radha Jagadeesan, Nir Piterman, Andrew M Pitts |
|
Sixteenth International Conference on "Tools and Algorithms for the Construction and Analysis of Systems TACAS 2010"
|
Special Issue for the Conference on Computer Science Logic CSL 2009
| Editors: | Erich Grädel, Reinhard Kahle |
|
Algebra and Coalgebra in Computer Science: CALCO 2009
| Editors: | Alexander Kurz, Andrzej Tarlecki |
|
Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009"
| Editors: | Franz Baader, Martin Giese, Arild Waaler |
|
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 |
|
Selected Papers of the Conference "Computer Science Logic CSL 2010"
|
Selected Papers of the Conference "Rewriting Techniques and Applications RTA 2010"
| Editors: | Hubert Comon-lundh, 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 Database Theory, ICDT 2010
|
Special Issue: Types for Proofs and Programs, 2010
| Editors: | Henk Barendregt, Pawel Urzyczyn |
|
