The Weighted Path Order for Termination of Term Rewriting
| Autor: | 山田, 晃久, Yamada, Akihisa |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Druh dokumentu: | Thesis(ETD) |
| Popis: | 名古屋大学博士学位論文 学位の種類:博士(情報科学) 学位授与年月日:2014-09-29 |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|