Journal: J. Comput. Syst. Sci.

Volume 32, Issue 1

1 -- 14Shuo-Yen Robert Li. Binary Trees and Uniform Distribution of Traffic Cutback
15 -- 78Péter Gács. Reliable Computation with Cellular Automata
79 -- 90Dennis de Champeaux. About the Paterson-Wegman Linear Unification Algorithm
91 -- 96Ingo Wegener. Time-Space Trade-offs for Branching Programs
97 -- 104Pawel Urzyczyn. During Cannot be Expressed by After
105 -- 135Louis E. Rosier, Hsu-Chun Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems
136 -- 153Vitit Kantabutra, S. Rao Kosaraju. New Algorithms for Multilink Robot Arms