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
Narkawicz, Anthony
7
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Formal Verification of Termination Criteria for First-Order..:
Moscato, Mariano M
;
Dutle, Aaron M
;
Narkawicz, Anthony J
..
doi:10.4230/LIPIcs.ITP.2021.27. , 2021
Link:
https://doi.org/10.4230/..
?
2
A Decision Procedure for Univariate Polynomial Systems Base..:
NARKAWICZ, ANTHONY
;
MUNOZ, CESAR
;
DUTLE, AARON
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6749613/. , 2018
Link:
http://www.ncbi.nlm.nih...
?
3
ICAROUS: Integrated configurable algorithms for reliable op..:
Consiglio, Maria
;
Munoz, Cesar
;
Hagen, George
..
https://zenodo.org/record/1267417. , 2016
Link:
https://zenodo.org/recor..
?
4
Cohomology Jumping Loci and Relative Malcev Completion:
Narkawicz, Anthony
http://arxiv.org/abs/0804.4164. , 2008
Link:
http://arxiv.org/abs/080..
?
5
The First Cohomology Group H^1(G,M):
Narkawicz, Anthony
http://arxiv.org/abs/math/0310296. , 2003
Link:
http://arxiv.org/abs/mat..
?
6
A Formal Proof Of The Riesz Representation Theorem:
Anthony Narkawicz
http://jfr.cib.unibo.it/article/view/1952/1538. , 2011
Link:
https://doaj.org/article..
?
7
A Decision Procedure for Univariate Polynomial Systems Base..:
Anthony Joseph Narkawicz
;
Cesar Munoz
;
Aaron M. Dutle
https://jfr.unibo.it/article/view/8212. , 2018
Link:
https://doi.org/10.6092/..
1-7