wg-handley documents

Equational derivation vs. computation
Documents Equational derivation vs. computation
Deterministic summation modulo Bn, the semigroup of binary relations on {0, 1,…, n − 1}
Documents Deterministic summation modulo Bn, the semigroup of binary relations on {0, 1,…, n − 1}