Information and Computation, Volume 150

Volume 150, Number 1, April 1999

• A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn: Alpha-Conversion and Typability. 1-21 BibTeX
• Kenji Yamanishi: Distributed Cooperative Bayesian Learning Strategies. 22-56 BibTeX
• Sudipto Guha, Samir Khuller: Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets. 57-74 BibTeX
• Louise E. Moser, P. M. Melliar-Smith: Byzantine-Resistant Total Ordering Algorithms. 75-111 BibTeX
• Norbert Blum, Robert Koch: Greibach Normal Form Transformation Revisited. 112-118 BibTeX

Volume 150, Number 2, May 1999

• Angelo Gargantini, Dino Mandrioli, Angelo Morzenti: Dealing with Zero-Time Transitions in Axiom Systems. 119-131 BibTeX
• Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. 132-152 BibTeX
• Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers: The Algorithm. 153-186 BibTeX
• Andreas Jakoby, Rüdiger Reischuk, Christian Schindelhauer: Malign Distributions for Average Case Circuit Complexity. 187-208 BibTeX
• Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. 209-243 BibTeX
• Allan Borodin, Ran El-Yaniv: On Randomization in On-Line Computation. 244-267 BibTeX
• Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. 268-306 BibTeX