The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1997, volume: 185, number: 2

  1. David W. Albrecht, John N. Crossley, John S. Jeavons
    New Curry-Howard Terms for Full Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:217-235 [Journal]
  2. C. Barry Jay
    Covariant Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:237-258 [Journal]
  3. Xuemin Lin
    A Fully Distributed Quorum Consensus Method with High Fault-Tolerance and Low Communication Overhead. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:259-275 [Journal]
  4. Ian A. Mason
    A First Order Logic of Effects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:277-318 [Journal]
  5. Mehmet A. Orgun, Weichang Du
    Multi-Dimensional Logic Programming: Theoretical Foundations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:319-345 [Journal]
  6. Grammati E. Pantziou, Alan Roberts, Antonios Symvonis
    Many-to-Many Routings on Trees via Matchings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:347-377 [Journal]
  7. Millist W. Vincent
    A Corrected 5NF Definition for Relational Database Design. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:379-391 [Journal]
  8. Trudy Weibel
    An Order-Sorted Resolution in Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:393-410 [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