The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1990, volume: 75, number: 1&2

  1. Robin Milner
    Interpreting one Concurrent Calculus in Another. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:3-13 [Journal]
  2. J. W. de Bakker, Joost N. Kok
    Comparative Metric Semantics for Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:14-43 [Journal]
  3. Moreno Falaschi, Giorgio Levi
    Finite Failures and Partial Computations in Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:45-66 [Journal]
  4. Masaki Murakami
    A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:67-83 [Journal]
  5. Steffen Hölldobler
    Conditional Equational Theories and Complete Sets of Transformations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:85-110 [Journal]
  6. Nachum Dershowitz, Mitsuhiro Okada
    A Rationale for Conditional Equational Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:111-138 [Journal]
  7. Tadashi Kawamura, Tadashi Kanamori
    Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:139-156 [Journal]
  8. Philippe Devienne
    Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:157-215 [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