Information and Computation, Volume 133

Volume 133, Number 1, February 25, 1997

• Juraj Hromkovic, Ralf Klasing, Walter Unger, Hubert Wagener: Optimal Algorithms for Broadcast and Gossip in the Edge-Disjoint Path Modes. 1-33
• Morten Heine Sørensen: Strong Normalization from Weak Normalization in Typed Lambda-Calculi. 35-71

Volume 133, Number 2, March 15, 1997

• Steffen van Bakel, Maribel Fernández: Normalization Results for Typeable Rewrite Systems. 73-116
• Charanjit S. Jutla: Determinization and Memoryless Winning Strategies. 117-134