activity
20092023
most citedNew and Improved Algorithms for Unordered Tree Inclusion

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2013

On the Parameterized Complexity of Associative and Commutative Unification

Tatsuya Akutsu, Takeyuki Tamura, Atsuhiro Takasu

This paper studies the unification problem with associative, commutative, and associative-commutative functions mainly from a viewpoint of the parameterized complexity on the numbe…