Journal: Journal of the ACM

Volume 42, Issue 6

1115 -- 1145Michel X. Goemans, David P. Williamson. Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming
1146 -- 1168Rusins Freivalds, Efim B. Kinber, Carl H. Smith. On the Impact of Forgetting on Learning Machines
1169 -- 1193Joan Boyar, Gilles Brassard, René Peralta. Subquadratic Zero-Knowledge
1194 -- 1230Jan A. Bergstra, J. V. Tucker. Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras
1231 -- 1274Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld. Computing With Faulty Shared Objects
1275 -- 1304Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt. Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems