1997 | ||
---|---|---|
2 | EE | W. G. Handley: Deterministic summation modulo B_n, the Semigroup of Binary Relations on {0, 1, ..., n-1}. Theor. Comput. Sci. 172(1-2): 135-174 (1997) |
1994 | ||
1 | W. G. Handley, S. S. Wainer: Equational Derivation vs. Computation. Ann. Pure Appl. Logic 70(1): 17-49 (1994) |
1 | S. S. Wainer | [1] |