Journal: Journal of Logic and Computation

Volume 25, Issue 4

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