External Links

    Journal: Nord. J. Comput.

    Volume 8, Issue 3

    277 -- 278Magne Haveraaen, Olaf Owe. Guest Editors Foreword
    279 -- 297Walter Dosch, Sönke Magnussen. Computer Aided Fusion for Algebraic Program Derivation
    298 -- 323Yngve Lamo, Michal Walicki. Specification of Parametrized Programs - Persistency Revisited
    324 -- 345Viktor Petersson, Sergei G. Vorobyov. A Randomized Subexponential Algorithm for Parity Games
    346 -- 365Harald Fecher. A Real-Time Process Algebra with Open Intervals and Maximal Progress
    366 -- 390Tarmo Uustalu, Varmo Vene, Alberto Pardo. Recursion Schemes from Comonads
    391 -- 407José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río. Modular Development of Interpreters from Semantic Building Blocks
    runs on