983 | -- | 985 | Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo. Computability in Europe 2010 |
987 | -- | 1009 | Florin Manea, Carlos Martín-Vide, Victor Mitrana. Hairpin lengthening: language theoretic and algorithmic results |
1011 | -- | 1046 | Liesbeth De Mol, Martin Carlé, Maarten Bullynck. Haskell before Haskell: an alternative lesson in practical logics of the ENIAC |
1047 | -- | 1071 | Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron. Recent complexity-theoretic results on P systems with active membranes |
1073 | -- | 1089 | Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies. Counting the changes of random Δ20 sets |
1091 | -- | 1110 | Edgar G. Daylight. From mathematical logic to programming-language semantics: a discussion with Tony Hoare |
1111 | -- | 1131 | Kristina Liefke. A single-type logic for natural language |
1133 | -- | 1140 | I. Pour-El, Ning Zhong. A Tribute to Marian Boykan Pour-El (1928-2009) |