The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1996, volume: 169, number: 1

  1. C. Barry Jay, John Staples
    Preface: Theoretical Computer Science in Australia and New Zealand. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:1- [Journal]
  2. Martin W. Bunder
    Lambda Terms Definable as Combinators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:3-21 [Journal]
  3. Peter Eades, Sue Whitesides
    The Logic Engine and the Realization Problem for Nearest Neighbor Graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:23-37 [Journal]
  4. Craig A. Farrell, Dorota H. Kieronska
    Formal Specification of Parallel SIMD Execution. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:39-65 [Journal]
  5. Jeremy Gibbons
    Computing Downwards Accumulations on Trees Quickly. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:67-80 [Journal]
  6. Peter Nickolas, Peter J. Robinson
    The Qu-Prolog Unification Algorithm: Formalisation and Correctness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:81-112 [Journal]
  7. La Monte H. Yarroll
    See More Through Lenses Than Bananas. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:113-121 [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