The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002