Information and Computation, Volume 186

Volume 186, Number 1, 10 October 2003

• Steffen Reith, Heribert Vollmer:
  Optimal satisfiability for propositional calculi and constraint satisfaction problems. 1-19
  Electronic Edition (link) BibTeX
• Nader H. Bshouty:
  The monotone theory for the PAC-model. 20-35
  Electronic Edition (link) BibTeX
• Ulrich Schmid, Klaus Schossmaier:
  Interval-based clock synchronization with optimal precision. 36-77
  Electronic Edition (link) BibTeX
• Farid M. Ablayev, Marek Karpinski:
  A lower bound for integer multiplication on randomized ordered read-once branching programs. 78-89
  Electronic Edition (link) BibTeX
• Stephen A. Fenner, Lance Fortnow, Ashish V. Naik, John D. Rogers:
  Inverting onto functions. 90-103
  Electronic Edition (link) BibTeX
• Amihood Amir, Richard Beigel, William I. Gasarch:
  Some connections between bounded query classes and non-uniform complexity. 104-139
  Electronic Edition (link) BibTeX
• Lucian Ilie, Sheng Yu:
  Follow automata. 140-162
  Electronic Edition (link) BibTeX

Volume 186, Number 2, 1 November 2003

• Naoki Kobayashi, Benjamin C. Pierce:
  Information and Computation special issue from TACS 2001. 163-164
  Electronic Edition (link) BibTeX
• Andrew M. Pitts:
  Nominal logic, a first order theory of names and binding. 165-193
  Electronic Edition (link) BibTeX
• Luís Caires, Luca Cardelli:
  A spatial logic for concurrency (part I). 194-235
  Electronic Edition (link) BibTeX
• Mizuhito Ogawa:
  A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. 236-259
  Electronic Edition (link) BibTeX
• Philip Wadler:
  The Girard-Reynolds isomorphism. 260-284
  Electronic Edition (link) BibTeX
• Marcello M. Bonsangue, Joost N. Kok:
  Infinite intersection types. 285-318
  Electronic Edition (link) BibTeX
• Joachim Niehren, Tim Priesnitz:
  Non-structural subtype entailment in automata theory. 319-354
  Electronic Edition (link) BibTeX
• Javier Esparza, Antonín Kucera, Stefan Schwoon:
  Model checking LTL with regular valuations for pushdown systems. 355-376
  Electronic Edition (link) BibTeX