Information and Computation, Volume 185

Volume 185, Number 1, 25 August 2003

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

Volume 185, Number 2, 15 September 2003

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