|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2006-06-22 14:00 |
Okayama |
|
Transformation of Equational Rewriting Systems for Removing some Equations Koichi Miura, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
In equational rewriting, which is rewriting modulo equations, the set of all direct successors from a given term is in g... [more] |
SS2006-14 pp.7-12 |
SS |
2005-06-24 11:45 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Dependency Graph Method for Proving Termination of Narrowing Koichi Miura, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) |
Term rewriting systems with extra variables (called EV-TRSs) has an ability to represent inverse-computation programs, a... [more] |
SS2005-23 pp.31-36 |
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|