Journals in DBLP

Nord. J. Comput.
2001, volume: 8, number: 3

1. Magne Haveraaen, Olaf Owe
   Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:277-278 [Journal]
   
2. Walter Dosch, Sönke Magnussen
   Computer Aided Fusion for Algebraic Program Derivation. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:279-297 [Journal]
   
3. Yngve Lamo, Michal Walicki
   Specification of Parametrized Programs - Persistency Revisited. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:298-323 [Journal]
   
4. Viktor Petersson, Sergei G. Vorobyov
   A Randomized Subexponential Algorithm for Parity Games. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:324-345 [Journal]
   
5. Harald Fecher
   A Real-Time Process Algebra with Open Intervals and Maximal Progress. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:346-365 [Journal]
   
6. Tarmo Uustalu, Varmo Vene, Alberto Pardo
   Recursion Schemes from Comonads. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:366-390 [Journal]
   
7. José 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. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:3, pp:391-407 [Journal]