SPECIAL ISSUES ARCHIVE OF 2012 | |
|
Selected papers of the conference on ''Foundations of Software Science and Computation Structures'': FOSSACS 2012
Editors: | Luca Aceto, Lars Birkedal |
|
23rd International Conference on Concurrency Theory (CONCUR 2012)
Editors: | Maciej Koutny, Irek Ulidowski |
|
Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012
Editors: | Cormac Flanagan, Barbara König |
|
Special Issue for the Conference on Computer Science Logic (CSL) 2012
Editors: | Patrick Cégielski, Arnaud Durand |
|
Selected Papers of the Ninth International Conference on Computability and Complexity in Analysis (CCA) 2012
Editors: | Martín Escardó, Arno Pauly, Matthias Schröder, Klaus Weihrauch |
|
Selected papers of the ''Turing Centenary Conference: CiE 2012''
Editors: | Arnold Beckmann, Anuj Dawar |
|
Festschrift Issue in Honor of Dieter Spreen
Editors: | Ulrich Berger, Hannes Diener, Norbert Müller |
|