5 citations · 10 across the 4 of their papers we have counts for
1 paper · 2 filters
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…