Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems (2000)

by Keiichirou Kusakari
Venue:Ph.D. thesis, JAIST
Citations:5 - 0 self

Document Versions

Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems –Keiichirou Kusakari — 2000 — Ph.D. thesis, JAIST