|
by Broer, Henk, Hoveijn, Igor, Lunter, Gerton, Vegter, Gert
Published 2003
Table of Contents:
“... normalizing transformations -- Appendix A.1. Classification of term orders; Appendix A.2. Proof of Proposition...”Published 2003
Springer Berlin Heidelberg