


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.