A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)).
1997 ◽
pp. 197-209
◽
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 12
(03)
◽
pp. 1950038
1993 ◽
Vol 27
(6)
◽
pp. 523-540
◽
Keyword(s):
2002 ◽
Vol 04
(04)
◽
pp. 639-683
◽
Keyword(s):
1988 ◽
Vol 40
(1)
◽
pp. 38-54
◽
2003 ◽
Vol 12
(04)
◽
pp. 543-574
◽
Keyword(s):