Search for persons
X
?
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
2
A Formalization of Complete Discrete Valuation Rings and Lo..:
, In:
?
Arithmetic Geometry, Number Theory, and Computation; Simons Symposia ,
6