On proving AC-termination by AC-dependency pairs

K. Kusakari, Y. Toyama

研究成果: Article査読

12 被引用数 (Scopus)

フィンガープリント

「On proving AC-termination by AC-dependency pairs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science

Mathematics