The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1993, volume: 119, number: 1

  1. Kablan Barbar
    Attributed Tree Grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:3-22 [Journal]
  2. Marc-Michel Corsini, Kaninda Musumbu
    Type Inference in Prolog: A New Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:23-38 [Journal]
  3. Philippe Devienne, Patrick Lebègue, Max Dauchet
    Weighted Systems of Equations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:39-62 [Journal]
  4. Alexander Ja. Dikovsky
    On the Computational Complexity of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:63-102 [Journal]
  5. Walter Dosch
    On a Generalized Product of Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:103-125 [Journal]
  6. Zineb Habbas
    A Compete Modal Proof for HAL: the Herbrand Agent Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:127-143 [Journal]
  7. Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
    Computations in APS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:145-171 [Journal]
  8. V. A. Nepomniaschy, A. A. Sulimov
    Problem-Oriented Verification System and its Application to Linear Algebra Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:173-185 [Journal]
  9. Vladimir Yu. Sazonov
    Hereditarily-Finite Sets, Data Bases and Polynomial-Time Computability. [Citation Graph (2, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:187-214 [Journal]
  10. Anatol Slissenko
    On Fault Tolerance of Syntax. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:215-222 [Journal]
  11. Mars K. Valiev
    Product 1 over 1-Universality of Some Propositional Logics of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:223-232 [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