Journals in DBLP

Theor. Comput. Sci.
1993, volume: 110, number: 2

1. Jean H. Gallier
   Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:110, n:2, pp:249-339 [Journal]
   
2. Bernadette Charron-Bost
   Coupling Coefficients of a Distributed Execution. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:110, n:2, pp:341-376 [Journal]
   
3. Michael J. Maher
   A Tranformation System for Deductive Databases Modules with Perfect Model Semantics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:110, n:2, pp:377-403 [Journal]
   
4. Thomas Forster
   A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:110, n:2, pp:405-418 [Journal]
   
5. M. Sprenger, M. Wymann-Böni
   How to Decide the Lark. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:110, n:2, pp:419-432 [Journal]