Soloviev, Sergei
-
BRICS Report Series No. 61 (1996): RS-61 Proof of a Conjecture of S. Mac Lane - Articles
Proof of a Conjecture of S. Mac Lane
Abstract PDF -
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