External Links

    Journal: J. Comput. Syst. Sci.

    Volume 25, Issue 2

    130 -- 143Stephen R. Mahaney. Sparse Complete Sets of NP: Solution of a Conjecture of Berman and Hartmanis
    144 -- 170David Harel, Dexter Kozen, Rohit Parikh. Process Logic: Expressiveness, Decidability, Completeness
    171 -- 213Philippe Flajolet, Andrew M. Odlyzko. The Average Height of Binary Trees and Other Simple Trees
    214 -- 238Jon Louis Bentley, Donna J. Brown. A General Class of Resource Tradeoffs
    239 -- 266Gérard P. Huet, Jean-Marie Hullot. Proofs by Induction in Equational Theories with Constructors
    runs on