Browse Special Issues

Selected Papers of the Conference ''Logic in Computer Science 2007" (6 articles)

2007

Editors: Andrew M Pitts, Erich Grädel, Luke Ong


Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007" (6 articles)

2007

Editors: Simona Ronchi Della Rocca


Selected Papers of the Conference 'Foundations Of Software Science And Computation Structures 2008' (3 articles)

2008

Editor: Roberto Amadio


Special Issue: Selected Papers of the Conference ''International Colloquium on Automata, Languages and Programming 2008'' (5 articles)

2008

Editors: Giuseppe Castagna, Igor Walukiewicz,Andrzej Tarlecki


Special Issue of the Symposium on Principles of Programming Languages 2009 (7 articles)

2009

Editors: Nick Benton, Patricia Johann, Andrzej Tarlecki


Algebra and Coalgebra in Computer Science: CALCO 2009 (6 articles)

2009

Editors: Alexander Kurz, Andrzej Tarlecki


Selected Papers of the Conference ''Logic in Computer Science 2009'' (8 articles)

2009

Editors: Nir Piterman, Andrew M Pitts, Radha Jagadeesan


Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009 (7 articles)

2009

Editors: Ralf Treinen, Jean Goubault-Larrecq


Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009" (7 articles)

2009

Editor: Martin Giese


Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009" (14 articles)

2009

Editor: Pierre-Louis Curien