The complexity of number-theoretic constants. An optimal EREW PRAM algorithm for minimum spanning tree verification. Decimal adjustments of long numbers in constant time. The strong equivalence of ET0L grammars. Rimli Sengupta .
Cancellation is exponentially powerful for computing the determinant.
Wan Fokkink . Unification for infinite sets of equations between finite terms. A conference key distribution system for the star configuration based on the discrete logarithm problem. References and Citations. Qian-Ping Gu and Shietung Peng .