Andreev, Alexander E.
-
BRICS Report Series No. 46 (1996): RS-46 A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n)) - Articles
A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))
Abstract PDF -
BRICS Report Series No. 2 (1994): RS-2 Complexity of Nondeterministic Functions - Articles
Complexity of Nondeterministic Functions
Abstract PDF