Search Results - Number theory Algebraic number theory: local and $p$-adic fields*

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4

    Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)
    https://ujm.hal.science/ujm-04222610
    13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩
    https://popl24.sigplan.org/home/CPP-2024

    Subject Geographic: London, United Kingdom

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ARXIV: 2310.01998

  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20