Journals in DBLP

Theor. Comput. Sci.
2006, volume: 368, number: 1-2

1. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
   A flexible model for dynamic linking in Java and C#. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:1-29 [Journal]
   
2. Markus Krötzsch
   Generalized ultrametric spaces in quantitative domain theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:30-49 [Journal]
   
3. Michael Kaminski
   Invariance under stuttering in a temporal logic of actions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:50-63 [Journal]
   
4. Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
   Type checking a multithreaded functional language with session types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:64-87 [Journal]
   
5. Foto N. Afrati, Chen Li, Prasenjit Mitra
   Rewriting queries using views in the presence of arithmetic comparisons. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:88-123 [Journal]
   
6. Yi-Xiang Chen, Achim Jung
   A logical approach to stable domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:124-148 [Journal]
   
7. Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu
   A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:149-160 [Journal]
   
8. Stéphanie Delaune
   An undecidability result for AGh. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:161-167 [Journal]
   
9. Rob J. van Glabbeek
   Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290]. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:368, n:1-2, pp:168-194 [Journal]