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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team