Artikel,

A preliminary univalent formalization of the p-adic numbers

, , und .
CoRR, (2013)

Metadaten

Tags

Nutzer

  • @t.uemura
  • @dblp

Kommentare und Rezensionen