Chicago Journal of Theoretical Computer Science
, 1996
Volume 1996, 1996
Moshe Y. Vardi
:
Rank Predicates vs. Progress Measures in Concurrent-Program Verification.
Mitsunori Ogihara
:
Sparse Hard Sets for P Yield Space-Efficient Algorithms.
Ornan Ori Gerstel
,
Israel Cidon
,
Shmuel Zaks
:
Optimal Virtual Path Layout in ATM Networks With Shared Routing Table Switches.
Gerhard Buntrock
,
Gundula Niemann
:
Weakly Growing Context-Sensitive Grammars.
H. James Hoover
,
Piotr Rudnicki
:
Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.
Martin Middendorf
:
Manhattan Channel Routing is NP-complete Under Truly Restricted Settings.
Copyright ©
Fri Dec 11 20:22:09 2009 by
Michael Ley
(
ley@uni-trier.de
)