Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoard ...
137
Ergebnisse:
Personensuche
X
Format
Online (137)
Medientypen
Artikel (Online) (5)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (131)
Sprachen
englisch (105)
französisch (27)
Sortierung: Relevanz
Sortierung: Jahr
?
1
A Formalization of Complete Discrete Valuation Rings and Lo..:
, In:
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
,
de Frutos-Fernández, María Inés
;
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
- p. 190-204 , 2024
Link:
https://dl.acm.org/doi/1..
?
2
A formal model of Coleman families and applications to Iwas..:
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
;
Ochiai, Tadashi
;
Ray, Jishnu
Annales mathématiques du Québec. , 2023
Link:
https://doi.org/10.1007/..
?
3
A Formalization of Complete Discrete Valuation Rings and Lo..:
de Frutos-Fernández, María Inés
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998. , 2024
Link:
https://ujm.hal.science/..
?
4
Categorical Foundations of Formalized Condensed Mathematics:
Asgeirsson, Dagur
;
Brasca, Riccardo
;
Kuhn, Nikolas
..
hal-04633614. , 2024
Link:
https://hal.science/hal-..
?
5
Categorical Foundations of Formalized Condensed Mathematics:
Asgeirsson, Dagur
;
Brasca, Riccardo
;
Kuhn, Nikolas
..
hal-04633614. , 2024
Link:
https://hal.science/hal-..
?
6
Structure of fine Selmer groups in abelian p-adic Lie exten..:
Kundu, Debanjana
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
;
Ramdorai, Sujatha
https://scholarworks.utrgv.edu/mss_fac/491. , 2024
Link:
https://scholarworks.utr..
?
7
Structure of fine Selmer groups in abelian p-adic Lie exten..:
Kundu, Debanjana
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
;
Ramdorai, Sujatha
info:eu-repo/semantics/altIdentifier/arxiv/2304.10938. , 2024
Link:
https://cnrs.hal.science..
?
8
Introduction à la Science Ouverte:
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
ujm-04487604. , 2024
Link:
https://ujm.hal.science/..
?
9
A Formalization of Complete Discrete Valuation Rings and Lo..:
de Frutos-Fernández, María Inés
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998. , 2024
Link:
https://ujm.hal.science/..
?
10
A Formalization of Complete Discrete Valuation Rings and Lo..:
de Frutos-Fernández, María Inés
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998. , 2024
Link:
https://ujm.hal.science/..
?
11
Introduction à la Science Ouverte:
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
ujm-04487604. , 2024
Link:
https://ujm.hal.science/..
?
12
Structure of fine Selmer groups in abelian p-adic Lie exten..:
Kundu, Debanjana
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
;
Ramdorai, Sujatha
info:eu-repo/semantics/altIdentifier/arxiv/2304.10938. , 2024
Link:
https://cnrs.hal.science..
?
13
Categorical Foundations of Formalized Condensed Mathematics:
Asgeirsson, Dagur
;
Brasca, Riccardo
;
Kuhn, Nikolas
..
hal-04633614. , 2024
Link:
https://hal.science/hal-..
?
14
A Formalization of Complete Discrete Valuation Rings and Lo..:
de Frutos-Fernández, María Inés
;
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
info:eu-repo/semantics/altIdentifier/arxiv/2310.01998. , 2024
Link:
https://ujm.hal.science/..
?
15
Introduction à la Science Ouverte:
Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
ujm-04487604. , 2024
Link:
https://ujm.hal.science/..
1-15