|
Journals in DBLP
- 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]
- 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]
- Ildikó Sain
Temporal Logics Need Their Clocks. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:95, n:1, pp:75-95 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
|