External Links

    Journal: Nord. J. Comput.

    Volume 1, Issue 1

    3 -- 37Kathleen Fisher, Furio Honsell, John C. Mitchell. A lambda Calculus of Objects and Method Specialization
    38 -- 49Torben Hagerup, Margin Maas. Generalized Topological Sorting in Linear Time
    50 -- 76Thomas F. Melham. A Mechanized Theory of the Pi-Calculus in HOL
    77 -- 93Hanspeter Mössenböck. Extensibility in the Oberon System
    94 -- 110Pekka Orponen. Neural Networks and Complexity Theory
    111 -- 134Hans Leo Bodlaender, Gerard Tel, Nicola Santoro. Trade-Offs in Non-Reversing Diameter
    135 -- 156Olav Lysne. Heuristics for Completion in Automatic Proofs by Structural Induction
    157 -- 171Jan Arne Telle. Complexity of Domination-Type Problems in Graphs
    runs on