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
Note
Erratum
- 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
Combinatorial Pattern Matching
- 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
Copyright © Fri Mar 12 17:33:13 2010
by Michael Ley (ley@uni-trier.de)