Realistic analysis of some randomized algorithms. Jia-Huai You . Unification modulo an equality theory for equational logic programming. Some lower bound results for decentralized extrema-finding in rings of processors. Ming Li and Yaacov Yesha .
Resource bounds for parallel computation of threshold and symmetric functions.
Elio Giovannetti , Giorgio Levi , Corrado Moiso , and Catuscia Palamidessi . A logic plus functional language. Friedrich Otto and Celia Wrathall . Overlaps in free partially commutative monoids. On isomorphism testing of a class of 2-nilpotent groups.