págs. 841-878
págs. 879-890
págs. 891-920
Invariants, Patterns and Weights for Ordering Terms
D. Shand, U. Martin
págs. 921-958
págs. 959-970
Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition
P. Pau, Josef Schicho
págs. 971-983




© 2001-2026 Fundación Dialnet · Todos los derechos reservados