A Higher-order Interpretation of Deductive Tableau
A. Ayari, D. Basin
págs. 487-520
págs. 521-548
págs. 549-556
págs. 557-564
Grobner Bases over Galois Rings with an Application to Decoding Alternant Codes
P. Fitzpatrick, E. Byrne
págs. 565-584
págs. 585-602
págs. 603-618
A Direct Approach to Computing the mu-basis of Planar Rational Curves
T. W. Sederberg, J. Zheng
págs. 619-629
© 2001-2024 Fundación Dialnet · Todos los derechos reservados