Arvind, V.; Das, Bireswar; Köbler, Johannes; Kuhnert, Sebastian
(Elsevier, 2012-08)
We show that, for k constant, k -tree isomorphism can be decided in logarithmic space by giving an View the MathML sourceO(klogn) space canonical labeling algorithm. The algorithm computes a unique tree decomposition, ...