Journals in DBLP

Theor. Comput. Sci.
1997, volume: 175, number: 1

1. Hiroakira Ono
   Foreword: Non-standard Logics and Logical Aspects of Computer Science. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:1- [Journal]
   
2. Yuri Leonidovich Ershov
   The Bounded-Complete Hull of an Alpha-Space. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:3-13 [Journal]
   
3. Nikolay V. Shilov
   Program Schemata vs. Automata for Decidability of Program Logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:15-27 [Journal]
   
4. Satoshi Kobayashi
   Monad as Modality. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:29-74 [Journal]
   
5. Masahiko Sato
   Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:75-92 [Journal]
   
6. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
   Infinitary Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:93-125 [Journal]
   
7. Aart Middeldorp, Hans Zantema
   Simple Termination of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:127-158 [Journal]
   
8. Vincent van Oostrom
   Developing Developments. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:159-181 [Journal]
   
9. Alexei Lisitsa, Vladimir Yu. Sazonov
   Delta-Languages for Sets and LOGSPACE Computable Graph Transformers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:183-222 [Journal]