default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
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.
last updated on 2025-04-11 18:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
