Browse by Volume

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

Special Festschrift Issue in Honor of Jiří Adámek (2 articles)

Editors: Stefan Milius and Lawrence Moss

Special Festschrift Issue in Honor of Dieter Spreen (6 articles)

Editors: Ulrich Berger, Hannes Diener, Norbert Müller, Anton Setzer

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 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 Papers of the Conference ''Tools and Algorithms for the Construction and Analysis of Systems'' (TACAS 2013) (2 articles)

Editors: Nir Piterman, Scott A. Smolka

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

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

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 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) (1 articles)

Editors: Lawrence S. Moss, Pawel Sobociński

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

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