![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 240
Volume 240, Number 1, 6 June 2000
- Daniel Le Métayer:
Foreword. 1-2 - Marcello M. Bonsangue
, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD. 3-47 - Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages. 49-90 - Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating action systems. 91-115 - Suresh Jagannathan:
Continuation-based transformations for coordination languages. 117-146 - Roberto M. Amadio:
On modelling mobility. 147-176 - Luca Cardelli
, Andrew D. Gordon:
Mobile ambients. 177-213 - Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese, Betti Venneri:
Types for access control. 215-254
Volume 240, Number 2, 17 June 2000
- Jin-yi Cai, D. Sivakumar:
Resolution of Hartmanis' conjecture for NL-hard sparse sets. 257-269 - Vincent Berry, Olivier Gascuel:
Inferring evolutionary trees with strong combinatorial evidence. 271-298 - Lin Chen:
A selected tour of the theory of identification matrices. 299-318 - Rüdiger Reischuk:
Can large fanin circuits perform reliable computations in the presence of faults? 319-335 - Yuji Kobayashi, Friedrich Otto:
Repetitiveness of languages generated by morphisms. 337-378 - Peter Eades, Xuemin Lin:
Spring algorithms and symmetry. 379-405 - Mohammod Abul Kashem, Xiao Zhou, Takao Nishizeki:
Algorithms for generalized vertex-rankings of partial k-trees. 407-427 - Sheng-Lung Peng, Chin-Wen Ho, Tsan-sheng Hsu, Ming-Tat Ko, Chuan Yi Tang:
Edge and node searching problems on trees. 429-446 - Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang:
Image compression for fast wavelet-based subregion retrieval. 447-469 - Thomas Hofmeister, Matthias Krause, Hans Ulrich Simon
:
Contrast-optimal k out of n secret sharing schemes in visual cryptography. 471-485 - Fred S. Annexstein, Kenneth A. Berman, Tsan-sheng Hsu, Ramjee P. Swaminathan:
A multi-tree routing scheme using acyclic orientations. 487-494
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.