Concepedia

On proving AC-termination by AC-dependency pairs

Keiichirou Kusakari, Yoshihito Toyama

JAIST Repository · 2001 · 17 citations · 0 references

Concepts