default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
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.
last updated on 2025-01-29 21:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
