Information and Computation, Volume 185

Volume 185, Number 1, 25 August 2003

• Baruch Awerbuch, Yair Bartal, Amos Fiat:
  Competitive distributed file allocation. 1-40
  
• J. Kevin Lanctot, Ming Li, Bin Ma, Shaojiu Wang, Louxin Zhang:
  Distinguishing string selection problems. 41-55
  
• Shih Ping Tung:
  Skolem functions of arithmetical sentences. 56-65
  
• Alejandro López-Ortiz, Sven Schuierer:
  Searching and on-line recognition of star-shaped polygons. 66-88
  
• Sanjay Jain, Frank Stephan:
  Learning by switching type of information. 89-104
  
• Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  Hybrid I/O automata. 105-157
  

Volume 185, Number 2, 15 September 2003

• Matthias Jantzen, Alexy Kurganskyy:
  Refining the hierarchy of blind multicounter languages and twist-closed trios. 159-181
  
• Paul Blain Levy, John Power, Hayo Thielecke:
  Modelling environments in call-by-value programming languages. 182-210
  
• Silvio Valentini, Matteo Viale:
  A binary modal logic for the intersection types of lambda-calculus. 211-232
  
• Roberto Maieli, Paul Ruet:
  Non-commutative logic III: focusing proofs. 233-262
  
• Thomas Strahm:
  Theories with self-application and computational complexity. 263-297
  
• Joel Ratsaby:
  On learning multicategory classification with sample queries. 298-327