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