Information and Computation, Volume 72

Volume 72, Number 1, 1987

Carl A. Gunter: Universal Profinite Domains. 1-30 BibTeX
Hajnal Andréka, Irène Guessarian, István Németi: A Unifying Theorem for Algebraic Semantics and Dynamic Logics. 31-45 BibTeX
Satish Thatte: A Refinement of Strong Sequentiality for Term Rewriting with Constructors. 46-65 BibTeX
Amihood Amir, Dov M. Gabbay: Preservation of Expressive Completeness in Temporal Models. 66-83 BibTeX

Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Type Theories, Normal Forms and D_\infty-Lambda-Models. 85-116 BibTeX
James R. Driscoll, Merrick L. Furst: Computing Short Generator Sequences. 117-132 BibTeX
Miroslaw Kutylowski: A Generalized Grzegorczyk Hierarchy and Low Complexity Classes. 133-149 BibTeX
Gregory J. E. Rawlins, Derick Wood: Optimal Computation of Finitely Oriented Convex Hulls. 150-166 BibTeX

Heather Woll: Reductions among Number Theoretic Problems. 167-179 BibTeX
Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: A New Look at Fault-Tolerant Network Routing. 180-196 BibTeX
Glynn Winskel: Petri Nets, Algebras, Morphisms, and Compositionality. 197-238 BibTeX
Panayota Papantoni-Kazakos: Qualitative Robustness in Time Series. 239-269 BibTeX
Kurt Mehlhorn, Franco P. Preparata: Area-Time Optimal Division for T=Omega((log n)^1+ epsilon). 270-282 BibTeX