Transformational approach to inverse computation in term rewriting
名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成16年3月25日
| Main Author: | |
|---|---|
| Language: | en |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/2237/11185 |
名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成16年3月25日
| Main Author: | |
|---|---|
| Language: | en |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/2237/11185 |