External Links

    Journal: Inf. Comput.

    Volume 72, Issue 3

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

    Volume 72, Issue 2

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

    Volume 72, Issue 1

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