Journal: Journal of the ACM

Volume 44, Issue 2

201 -- 236Stefano Bistarelli, Ugo Montanari, Francesca Rossi. Semiring-based constraint satisfaction and optimization
237 -- 256Tao Jiang, Joel I. Seiferas, Paul M. B. Vitányi. Two heads are better than two tapes
257 -- 271Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum. Dynamic word problems
272 -- 319Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens. On the completeness of object-creating database transformation languages
320 -- 344Wolfgang Bibel, Elmar Eder. Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
345 -- 361Robert A. Wagner. Evaluating uniform expressions within two steps of minimum parallel time