Information and Computation, Volume 189

Volume 189, Number 1, 25 February 2004

• Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum:
  Counting and sampling H-colourings? 1-16
  Electronic Edition (link) BibTeX
• Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel:
  Intersection types for explicit substitutions. 17-42
  Electronic Edition (link) BibTeX
• Claire Kenyon, Samuel Kutin:
  Sensitivity, block sensitivity, and l-block sensitivity of boolean functions. 43-53
  Electronic Edition (link) BibTeX
• Jens Palsberg, Tian Zhao:
  Type inference for record concatenation and subtyping. 54-86
  Electronic Edition (link) BibTeX
• Luca Paolini, Simona Ronchi Della Rocca:
  Parametric parameter passing Lambda-calculus. 87-106
  Electronic Edition (link) BibTeX
• Eldar Fischer:
  On the strength of comparisons in property testing. 107-116
  Electronic Edition (link) BibTeX
• Eric Allender, Meena Mahajan:
  The complexity of planarity testing. 117-134
  Electronic Edition (link) BibTeX

Volume 189, Number 2, 15 March 2004

• Funda Ergün, Ravi Kumar, Ronitt Rubinfeld:
  Fast approximate probabilistically checkable proofs. 135-159
  Electronic Edition (link) BibTeX
• Markus Lohrey, Anca Muscholl:
  Bounded MSC communication. 160-181
  Electronic Edition (link) BibTeX
• Albert Atserias, Maria Luisa Bonet:
  On the automatizability of resolution and related propositional proof systems. 182-201
  Electronic Edition (link) BibTeX
• Paul-André Melliès:
  Comparing hierarchies of types in models of linear logic. 202-234
  Electronic Edition (link) BibTeX
• Arun Sharma, Frank Stephan, Yuri Ventsov:
  Generalized notions of mind change complexity. 235-262
  Electronic Edition (link) BibTeX