págs. 1-19
Modular Termination Proofs for Rewriting Using Dependency Pairs
Thomas Arts, Enno Ohlebusch, Jürgen Giesl
págs. 21-58
págs. 59-81
Quartic Fields and Radical Extensions
Ming-chang Kang, Huah Chu
págs. 83-89
© 2001-2024 Fundación Dialnet · Todos los derechos reservados