


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














