Browse by Volume

Special Issue on "Domain Theory and its Applications" (1 articles)

Editors: Aoife Hennessy and Michel Schellekens

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 Issue in Honor of Zoltán Ésik (1 articles)

Editors: Luca Aceto and Anna Ingólfsdóttir

Special Festschrift Issue in Honor of Jiří Adámek (5 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) (4 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