Stop the war!
Остановите войну!
for scientists:
default search action
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.