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]