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- Nader H. Bshouty: The monotone theory for the PAC-model. 20-35
- Ulrich Schmid, Klaus Schossmaier: Interval-based clock synchronization with optimal precision. 36-77
- Farid M. Ablayev, Marek Karpinski: A lower bound for integer multiplication on randomized ordered read-once branching programs. 78-89
- Amihood Amir, Richard Beigel, William I. Gasarch: Some connections between bounded query classes and non-uniform complexity. 104-139
Volume 186, Number 2, 1 November 2003
- Naoki Kobayashi, Benjamin C. Pierce: Information and Computation special issue from TACS 2001. 163-164
- Andrew M. Pitts: Nominal logic, a first order theory of names and binding. 165-193
- Mizuhito Ogawa: A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. 236-259
- Philip Wadler: The Girard-Reynolds isomorphism. 260-284
- Javier Esparza, Antonín Kucera, Stefan Schwoon: Model checking LTL with regular valuations for pushdown systems. 355-376
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team