| SPECIAL ISSUES ARCHIVE OF 2009 | |
| |
Special Issue of the Symposium on Principles of Programming Languages 2009
| Editors: | Nick Benton, Patricia Johann |
|
Algebra and Coalgebra in Computer Science: CALCO 2009
| Editors: | Alexander Kurz, Andrzej Tarlecki |
|
Selected Papers of the Conference ''Logic in Computer Science 2009''
| Editors: | Radha Jagadeesan, Nir Piterman, Andrew M Pitts |
|
Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009
| Editors: | Jean Goubault-Larrecq, Ralf Treinen |
|
Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009"
| Editors: | Franz Baader, Martin Giese, Arild Waaler |
|
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009"
| Editors: | Patrick Baillot, Pierre-Louis Curien, Luca Paolini |
|
Fifteenth International Conference on "Tools and Algorithms for the Construction and Analysis of Systems TACAS 2009"
| Editors: | Stefan Kowalewski, Anna Philippou |
|
Selected Papers of the International Colloquium on Automata, Languages and Programming 2009
|
Special Issue for the Conference on Computer Science Logic CSL 2009
| Editors: | Erich Grädel, Reinhard Kahle |
|