Author:
Gopalakrishnan Sivaram,Kalla Priyank
Reference24 articles.
1. Arvind, Shen, X.: Using term rewriting systems to design and verify processors. IEEE Micro 19(2), 36–46 (1998)
2. Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Philosophiesche Fakultat an der Leopold-Franzens-Universitat, Austria (1965)
3. Buchberger, B.: A theoretical basis for reduction of polynomials to canonical forms. ACM SIG-SAM Bulletin 10(3), 19–29 (1976)
4. Chen, Z.: On polynomial functions from
$$\mathrm{Z}_{n1}\times \mathrm{Z}_{n2} \times \cdots \times \mathrm{Z}_{nr}$$
to
$$\mathrm{Z}_{m}$$
. Discrete Mathematics 162(1–3), 67–76 (1996)
5. Ciesielski, M., Kalla, P., Askar, S.: Taylor expansion diagrams: A canonical representation for verification of dataflow designs. IEEE Transactions on Computers 55(9), 1188–1201 (2006)