The SCEAS System
Navigation Menu

Journals in DBLP

Nord. J. Comput.
1994, volume: 1, number: 1

  1. Kathleen Fisher, Furio Honsell, John C. Mitchell
    A lambda Calculus of Objects and Method Specialization. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:3-37 [Journal]
  2. Torben Hagerup, Margin Maas
    Generalized Topological Sorting in Linear Time. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:38-49 [Journal]
  3. Thomas F. Melham
    A Mechanized Theory of the Pi-Calculus in HOL. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:50-76 [Journal]
  4. Hanspeter Mössenböck
    Extensibility in the Oberon System. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:77-93 [Journal]
  5. Pekka Orponen
    Neural Networks and Complexity Theory. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:94-110 [Journal]
  6. Hans L. Bodlaender, Gerard Tel, Nicola Santoro
    Trade-Offs in Non-Reversing Diameter. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:111-134 [Journal]
  7. Olav Lysne
    Heuristics for Completion in Automatic Proofs by Structural Induction. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:135-156 [Journal]
  8. Jan Arne Telle
    Complexity of Domination-Type Problems in Graphs. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:1, pp:157-171 [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