![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 173
Volume 173, Number 1, February 2002
- Oliver Pretzel:
Finding Recursions for Multidimensional Arrays. 1-14 - Y. Abramson, Alexander Moshe Rabinovich
:
Decidability of Split Equivalence. 15-39 - Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Parallel Approximation Schemes for a Class of Planar and Near Planar Combinatorial Optimization Problems. 40-63 - Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. 64-81 - Matthew Hennessy, James Riely
:
Resource Access Control in Systems of Mobile Agents. 82-120
Volume 173, Number 2, March 2002
- Richard Beigel, Lane A. Hemaspaandra
, Harald Hempel, Jörg Vogel:
Optimal Series-Parallel Trade-offs for Reducing a Function to Its Own Graph. 123-131 - Roberto Grossi, Andrea Pietracaprina, Geppino Pucci
:
Optimal Deterministic Protocols for Mobile Robots on a Grid. 132-142 - David Harel, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Verifying Concurrent Transition Systems. 143-161 - Hagit Attiya
, Alla Gorbach, Shlomo Moran:
Computing in Totally Anonymous Asynchronous Shared Memory Systems. 162-183 - Antonín Kucera
, Richard Mayr:
Simulation Preorder over Simple Process Algebras. 184-198 - Cristiano Calcagno, Simon Helsen, Peter Thiemann:
Syntactic Type Soundness Results for the Region Calculus. 199-221 - Christopher J. Saker
, Peter M. Higgins:
Unavoidable Sets of Words of Uniform Length. 222-226
![](https://dblp1.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.