Journals in DBLP

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

1. Jean-Yves Girard, Andre Scedrov, Philip J. Scott
   Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:1-66 [Journal]
   
2. Steven M. German
   Semantics and Reasoning with Free Procedures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:67-81 [Journal]
   
3. Jean Perraud, Olivier Roux, Marc Huou
   Operational Semantics of a Kernel of the Language ELECTRE. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:83-103 [Journal]
   
4. Angelo Monfroglio
   Integer Programs for Logic Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:105-130 [Journal]
   
5. Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz
   Fairness, Distances and Degrees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:131-142 [Journal]
   
6. Stefano Baratella
   A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:143-156 [Journal]
   
7. Trudy Weibel
   Extension of Combinatory Logic to a Theory of Combinatory Representation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:157-173 [Journal]
   
8. Kees Doets
   A Slight Strengthening of a Theorem of Blair and Kunen. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:97, n:1, pp:175-181 [Journal]