vix.ing · top · new · best · stats · spec

Takeyuki Tamura

  1. On the Parameterized Complexity of Associative and Commutative Unification
    2013/10/03 by Tatsuya Akutsu, Akutsu, Tatsuya, Takeyuki Tamura +3 · 1 citation
    Computer Science · #Algorithms and Data Compression #Coding theory and cryptography #FOS: Computer and information sciences #Symbolic Computation (cs.SC) #semigroups and automata theory