|
Journals in DBLP
Inf. Comput. 2002, volume: 173, number: 1
- Oliver Pretzel
Finding Recursions for Multidimensional Arrays. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:173, n:1, pp:1-14 [Journal]
- Y. Abramson, Alexander Moshe Rabinovich
Decidability of Split Equivalence. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:173, n:1, pp:15-39 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:173, n:1, pp:40-63 [Journal]
- Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
Fair Simulation. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:173, n:1, pp:64-81 [Journal]
- Matthew Hennessy, James Riely
Resource Access Control in Systems of Mobile Agents. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:173, n:1, pp:82-120 [Journal]
|