共 50 条
- [33] ENDOMORPHISM RINGS OF TORSION-FREE MODULES OVER A COMPLETE DISCRETE VALUATION RING JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1978, 18 (DEC): : 464 - 471
- [36] A Formalization of Complete Discrete Valuation Rings and Local Fields PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 190 - 204
- [39] WITTS THEOREM FOR QUADRATIC-FORMS OVER NON-DYADIC DISCRETE VALUATION RINGS CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1977, 29 (05): : 928 - 936