View of A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))

Return to Article Details A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n)) Download Download PDF