On the parameterized complexity of associative and commutative unification

Tatsuya Akutsu, Jesper Andreas Jansson, Atsuhiro Takasu, Takeyuki Tamura

Research output: Journal article publicationJournal articleAcademic researchpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'On the parameterized complexity of associative and commutative unification'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science