![](/img/cover-not-exists.png)
Elimination Transformations for Associative–Commutative Rewriting Systems
Kusakari Keiichirou, Nakamura Masaki, Toyama YoshihitoVolume:
37
Language:
english
Pages:
25
DOI:
10.1007/s10817-006-9053-y
Date:
October, 2006
File:
PDF, 543 KB
english, 2006