The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1993, volume: 107, number: 2

  1. Bart Jacobs
    Comprehension Categories and the Semantics of Type Dependency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:169-207 [Journal]
  2. Marco Bellia, M. Eugenia Occhiuto
    C-Expressions: A Variable-Free Calculus for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:209-252 [Journal]
  3. Sachio Hirokawa
    Principal Types of BCK-lambda-Terms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:253-276 [Journal]
  4. Agostino Cortesi, Gilberto Filé
    Graph Properties for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:277-303 [Journal]
  5. Michael G. Main, David L. Black
    Semantic Models for Total Correctness and Fairness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:305-332 [Journal]
  6. Vugranam C. Sreedhar, Kazem Taghva
    Capturing Strong Reduction in Director String Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:333-347 [Journal]
  7. Gilles Dowek
    The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:349-356 [Journal]
  8. Robin Milner, Faron Moller
    Unique Decomposition of Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:357-363 [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