The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1992, volume: 95, number: 1

  1. Victor Vianu, Gottfried Vossen
    Conceptual Level Concurrency Control of Relational Update Transactions. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:1-42 [Journal]
  2. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Extending Horn Clause Logic with Implication Goals. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:43-74 [Journal]
  3. Ildikó Sain
    Temporal Logics Need Their Clocks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:75-95 [Journal]
  4. Setsuo Arikawa, Takeshi Shinohara, Akihiro Yamamoto
    Learning Elementary Formal Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:97-113 [Journal]
  5. Gianluigi Bellin, Jussi Ketonen
    A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:115-142 [Journal]
  6. Bart Jacobs, Ines Margaria, Maddalena Zacchi
    Filter Models with Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:143-148 [Journal]
  7. Sylviane R. Schwer
    Fine Covers of a VAS Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:159-168 [Journal]
  8. Joffroy Beauquier
    Two Distributed Problems Involving Byzantine Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:169-185 [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