Nr. 46 (1996): RS-46 A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))

Publiceret: 1996-06-16

Artikler