Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.
Computing With Faulty Shared Objects.
Subquadratic Zero-Knowledge.
Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming.
On the Impact of Forgetting on Learning Machines.
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems.