Theoretical Computer Science, Volume 368

Volume 368, Numbers 1-2, December 2006

• Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
  A flexible model for dynamic linking in Java and C#. 1-29
  
• Markus Krötzsch:
  Generalized ultrametric spaces in quantitative domain theory. 30-49
  
• Michael Kaminski:
  Invariance under stuttering in a temporal logic of actions. 50-63
  
• Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara:
  Type checking a multithreaded functional language with session types. 64-87
  
• Foto N. Afrati, Chen Li, Prasenjit Mitra:
  Rewriting queries using views in the presence of arithmetic comparisons. 88-123
  
• Yi-Xiang Chen, Achim Jung:
  A logical approach to stable domains. 124-148
  
• Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu:
  A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. 149-160
  

• Stéphanie Delaune:
  An undecidability result for AGh. 161-167
  

• Rob J. van Glabbeek:
  Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290]. 168-194
  

Volume 368, Number 3, December 2006

• Süleyman Cenk Sahinalp, Ugur Dogrusöz, S. Muthukrishnan:
  Preface. 195
  
• Amihood Amir, Oren Kapah, Dekel Tsur:
  Faster two-dimensional pattern matching with rotations. 196-204
  
• Eugene Davydov, Serafim Batzoglou:
  A computational model for RNA multiple structural alignment. 205-216
  
• Stefano Lonardi, Wojciech Szpankowski, Qiaofeng Yang:
  Finding biclusters by random projections. 217-230
  
• Richard F. Geary, Naila Rahman, Rajeev Raman, Venkatesh Raman:
  A simple optimal representation for balanced parentheses. 231-246