Browse Special Issues

Selected Papers of the Conference ''Tools and Algorithms for the Construction and Analysis of Systems'' (TACAS 2013) (4 articles)

Editors: Nir Piterman, Scott A. Smolka


Selected Papers of the Tenth International Conference on Computability and Complexity in Analysis (CCA 2013) (10 articles)

Editors: Martín Escardó, Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong


Selected Paper of the Conference "Typed Lambda Calculi and Applications" (TLCA 2013) (4 articles)

Editors: Herman Geuvers, Masahito Hasegawa, Paul-André Melliès


Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013) (7 articles)

2013

Editors: Stefan Milius, Reiko Heckel


Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013 (5 articles)

2013

Editors: Pedro R. D'Argenio, Davide Sangiorgi, Hernán Melgratti


Selected Papers of the "10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)" (5 articles)

2013

Editor: Markus Siegle


Selected papers of the ''Turing Centenary Conference: CiE 2012'' (7 articles)

2012

Editors: Arnold Beckmann, Anuj Dawar


Selected Papers of the Ninth International Conference on Computability and Complexity in Analysis (CCA) 2012 (7 articles)

2012

Editors: Klaus Weihrauch, Arno Pauly, Martín Escardó, Matthias Schröder


Special Issue for the Conference on Computer Science Logic (CSL) 2012 (7 articles)

2012

Editor: Arnaud Durand


Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012 (4 articles)

2012

Editors: Cormac Flanagan, Barbara König