On proving AC-termination by AC-dependency pairs

K. Kusakari, Y. Toyama

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)

Fingerprint

Dive into the research topics of 'On proving AC-termination by AC-dependency pairs'. Together they form a unique fingerprint.