Journals in DBLP

Theor. Comput. Sci.
1989, volume: 68, number: 3

1. Thierry Coquand
   Categories of Embeddings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:221-237 [Journal]
   
2. Roger Gutbrod
   A Transformation System for Generating Description Languages of Chain Code Pictures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:239-252 [Journal]
   
3. François Blanchard
   Codes Engendrant Certains Systemes Sofiques. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:253-265 [Journal]
   
4. Neil Immerman, Stephen R. Mahaney
   Relativizing Relativized Computations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:267-276 [Journal]
   
5. Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
   Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:277-302 [Journal]
   
6. Felipe Bracho
   Continously Generated Fixed Points. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:303-317 [Journal]
   
7. Paliath Narendran, Friedrich Otto
   Some Polynomial-Time Algorithms for Finite Monadic Church-Rosser Thue Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:319-332 [Journal]
   
8. Ugo Solitro
   A Typed Calculuc Based on a Fragment of Linear Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:333-342 [Journal]
   
9. Eli Gafni, Joseph Naor, Prabhakar Ragde
   On Separating the Erew and Crew Pram Models. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:68, n:3, pp:343-346 [Journal]