Browse Special Issues

Selected Papers of the Conferences FORTE and COORDINATION 2016 (3 articles)

Editors: Elvira Albers, Ivan Lanese, Alberto Lluch Lafuente and José Proença


Selected Papers of the 1st International Conference on Formal Structures and Deduction (FSCD 2016) (6 articles)

Editors: Delia Kesner and Brigitte Pientka


Selected papers of the conference "Continuity, Computability, Constructivity – From Logic to Algorithms" (CCC 2015) (4 articles)

Editors: Ulrich Berger, Willem Fouché, Arno Pauly, Dieter Spreen, Martin A. Ziegler


Selected papers of the joint 26th International Conference on "Rewriting Techniques and Applications" and 13th International Conference on "Typed Lambda Calculi and Applications" RTA/TLCA 2015 (5 articles)

Editors: Thorsten Altenkirch, Maribel Fernández


Selected Papers of the Conferences FORTE and COORDINATION 2015 (4 articles)

Editors: Susanne Graf, Tom Holvoet, Viswanathan Mahesh, Mirko Viroli


Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) (1 articles)

Editors: Lawrence S. Moss, Pawel Sobociński


Selected Paper of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015) (6 articles)

Editors: Thomas Colcombet, Andrew M. Pitts, Daniele Varacca


Selected Papers of the Conferences FORTE and COORDINATION 2014 (6 articles)

Editors: Erika Abraham, Eva Kühn, Catuscia Palamidessi, Rosario Pugliese, Vladimiro Sassone


20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) (7 articles)

2014

Editors: Erika Abraham, Klaus Havelund


Special Issue for the Conferences on Computer Science Logic and Logic in Computer Sciences (CSL-LICS) 2014 (4 articles)

Editors: Thomas A Henzinger, Dale Miller