登入選單
返回Google圖書搜尋
Relating innermost, weak, uniform and modular termination of term rewriting systems
Bernhard Gramlich
出版Fachbereich Informatik, Univ. Kaiserslautern, 1993
URLhttp://books.google.com.hk/books?id=DfROMwAACAAJ&hl=&source=gbs_api