next up previous
Next: About this document ... Up: String Rewriting and Gröbner Previous: Bibliography

6. Appendix

This section contains the proofs of the lemmata and theorems given in the paper.

Proof of Theorem 2.1:  
$1 \Longrightarrow2:$

| ZCA Home | Reports |