![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 72
Volume 72, Number 1, 1987
- Carl A. Gunter:
Universal Profinite Domains. 1-30 - Hajnal Andréka, Irène Guessarian, István Németi:
A Unifying Theorem for Algebraic Semantics and Dynamic Logics. 31-45 - Satish Thatte:
A Refinement of Strong Sequentiality for Term Rewriting with Constructors. 46-65 - Amihood Amir, Dov M. Gabbay:
Preservation of Expressive Completeness in Temporal Models. 66-83
Volume 72, Number 2, 1987
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi:
Type Theories, Normal Forms and D_\infty-Lambda-Models. 85-116 - James R. Driscoll, Merrick L. Furst:
Computing Short Generator Sequences. 117-132 - Miroslaw Kutylowski:
A Generalized Grzegorczyk Hierarchy and Low Complexity Classes. 133-149 - Gregory J. E. Rawlins, Derick Wood:
Optimal Computation of Finitely Oriented Convex Hulls. 150-166
Volume 72, Number 3, 1987
- Heather Woll:
Reductions among Number Theoretic Problems. 167-179 - Danny Dolev
, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong:
A New Look at Fault-Tolerant Network Routing. 180-196 - Glynn Winskel:
Petri Nets, Algebras, Morphisms, and Compositionality. 197-238 - P. Papantoni-Kazakos:
Qualitative Robustness in Time Series. 239-269 - Kurt Mehlhorn, Franco P. Preparata:
Area-Time Optimal Division for T=Omega((log n)^1+ epsilon). 270-282
![](https://dblp.org/img/cog.dark.24x24.png)
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.