共 50 条
- [26] 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
- [28] SPLIT NON COMMUTATIVE DISCRETE OR FINITE VALUATION RINGS COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1986, 302 (07): : 259 - 262
- [30] SPLIT NONCOMMUTATIVE DISCRETE VALUATION RINGS OF CHARACTERISTIC ZERO COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1986, 303 (14): : 663 - 666