The Chicago Journal of Theoretical Computer Science

                      MIT Press

               1996 Table of Contents

1. Rank Predicates vs. Progress Measures in Concurrent-Program Verification
   by Moshe Y. Vardi
   9 February 1996

2. Sparse Hard Sets for P Yield Space-Efficient Algorithms
   by Mitsunori Ogihara
   27 March 1996

3. Optimal Virtual Path Layout in ATM Networks with Shared Routing
   Table Switches
   by Ornan Gerstel, Israel Cidon, and Shmuel Zaks
   31 October 1996

4. Weakly Growing Context-Sensitive Grammars
   by Gerhard Buntrock and Gundula Niemann
   13 November 1996

5. Uniform Self-Stabilizing Orientation of Unicyclic Networks under
     Read/Write Atomicity
   by H. James Hoover
   5 December 1996

6. Manhattan Channel Routing is NP-Complete under Truly Restricted
     Settings
   by Martin Middendorf
   30 December 1996