Soloviev, Sergei
-
BRICS Report Series Nr. 61 (1996): RS-61 Proof of a Conjecture of S. Mac Lane - Artikler
Proof of a Conjecture of S. Mac Lane
Resumé PDF (English) -
BRICS Report Series Nr. 46 (1996): RS-46 A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n)) - Artikler
A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))
Resumé PDF (English)