共 50 条
- [1] SPLIT NONCOMMUTATIVE DISCRETE VALUATION RINGS OF CHARACTERISTIC ZERO [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1986, 303 (14): : 663 - 666
- [3] NOT NECESSARILY COMMUTATIVE COMPLETE DISCRETE VALUATION RINGS [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 283 (06): : 281 - 284
- [4] MODULES OVER COMPLETE DISCRETE VALUATION RINGS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 102 - &
- [5] ENDOMORPHISM RINGS OF MODULES OVER COMPLETE DISCRETE VALUATION RINGS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 223 - &
- [6] A Formalization of Complete Discrete Valuation Rings and Local Fields [J]. PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 190 - 204
- [8] HIGHER SIGMA-DERIVATIONS AND NONCOMMUTATIVE DISCRETE VALUATION RINGS OF CHARACTERISTIC ZERO [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1986, 303 (19): : 943 - 946