Journals in DBLP

J. UCS
1997, volume: 3, number: 11

1. Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov
   Logic in Computer Science. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1133- [Journal]
   
2. Takahito Aoto, Yoshihito Toyama
   Persistency of Confluence. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1134-1147 [Journal]
   
3. Douglas S. Bridges, Wang Yuchuan
   Constructive Aspects of the Dirichlet Problem. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1148-1161 [Journal]
   
4. Cristian Calude, André Nies
   Chaitin Omega Numbers and Strong Reducibilities. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1162-1166 [Journal]
   
5. Cristian Calude, Ioan Tomescu
   Optimum Extendible Prefix Codes. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1167-1179 [Journal]
   
6. Elena Calude, Marjo Lipponen
   Minimal Deterministic Incomplete Automata. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1180-1193 [Journal]
   
7. Bruno Courcelle, Rodney G. Downey, Michael R. Fellows
   A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1194-1198 [Journal]
   
8. Michael J. Dinneen
   Too Many Minor Order Obstructions. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1199-1206 [Journal]
   
9. Ulrich Günther, Peter Hertling, Radu Nicolescu, Mark R. Titchener
   Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:11, pp:1207-1225 [Journal]
   
10. Peter Hertling
    Surjective Functions on Computably Growing Cantor Sets. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1226-1240 [Journal]
    
11. Peter Hertling, Yongge Wang
    Invariance Properties of Random Sequences. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1241-1249 [Journal]
    
12. Hajime Ishihara
    Sequential Continuity of Linear Mappings in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1250-1254 [Journal]
    
13. Hajime Ishihara, Bakhadyr Khoussainov
    Effectiveness of the Completeness Theorem for an Intermediate Logic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1255-1265 [Journal]
    
14. Yoshihiko Murakawa, Satoshi Tojo, Susumu Kunifuji
    Imperfect Information Flow of Agents Communication in Arrow Logic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:11, pp:1266-1281 [Journal]