Annals of Pure and Applied Logic, Volume 151

Volume 151, Number 1, January 2008

• Clifton Ealy, Krzysztof Krupinski, Anand Pillay:
  Superrosy dependent groups having finitely satisfiable generics. 1-21
  
• Yijia Chen, Jörg Flum:
  The parameterized complexity of maximality and minimality problems. 22-61
  
• Christopher von Bülow:
  A remark on equivalent Rosser sentences. 62-67
  

Volume 151, Numbers 2-3, February 2008

• Guy McCusker, Dan R. Ghica:
  Foreword for special issue of APAL for GaLoP 2005. 69
  
• Chrysida Galanaki, Panos Rondogiannis, William W. Wadge:
  An infinite-game semantics for well-founded negation in logic programming. 70-88
  
• Dan R. Ghica, Andrzej S. Murawski:
  Angelic semantics of fine-grained concurrency. 89-114
  
• Joachim De Lataillade:
  Second-order type isomorphisms through game semantics. 115-150
  
• James Laird:
  A game semantics of names and pointers. 151-169
  
• Paul Blain Levy:
  Infinite trace equivalence. 170-198