المؤلفون: Rinaldi, Davide, Filip, Radim, Gerace, Dario, Guarnieri, Giacomo

مصطلحات موضوعية: Quantum Physics

URL الوصول: http://arxiv.org/abs/2412.15339

المؤلفون: Rinaldi, Davide, Nigro, Davide, Gerace, Dario

المصدر: Physical Review A 111.1 (2025): 013701

مصطلحات موضوعية: Quantum Physics

URL الوصول: http://arxiv.org/abs/2407.20092

المؤلفون: Rinaldi, Davide

مصطلحات موضوعية: Fakultät für Mathematik, Informatik und Statistik

وصف الملف: application/pdf

Relation: http://edoc.ub.uni-muenchen.de/17570/

الاتاحة: http://edoc.ub.uni-muenchen.de/17570/1/Rinaldi_Davide.pdf
http://nbn-resolving.de/urn:nbn:de:bvb:19-175705

المؤلفون: Rinaldi, Davide, Wessel, Daniel

المصدر: Logical Methods in Computer Science, Volume 14, Issue 4 (October 30, 2018) lmcs:2611

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1612.07345

المؤلفون: Misselbeck-Wessel, Daniel, Rinaldi, Davide

المصدر: Confluentes Mathematici, 14, no. 1 (2022) p 49-63

URL الوصول: http://www.numdam.org/articles/10.5802/cml.82/

المؤلفون: RINALDI, DAVIDE, SCHUSTER, PETER, WESSEL, DANIEL

المصدر: The Bulletin of Symbolic Logic, 2017 Jun 01. 23(2), 181-200.

URL الوصول: https://www.jstor.org/stable/44259447

المؤلفون: Magro, Anna, Omodei, Alessandro, Pruneri, Chiara, Rinaldi, Davide, Maffi, Franco, Bonazzi, Francesca, Tognolini, Giada, Malacarne, Gioele, Capelli, Micaela, Sordelli, Nicolas, De Maron, Roberta

المصدر: Convegno "Gabriele Marveggio", 22 April 2017

Relation: https://zenodo.org/communities/gmarveggio; https://doi.org/10.5281/zenodo.789810; https://doi.org/10.5281/zenodo.584099; oai:zenodo.org:584099

الاتاحة: https://doi.org/10.5281/zenodo.584099

المؤلفون: Rinaldi, Davide, Schuster, Peter, Wessel, Daniel

المساهمون: John Templeton Foundation, Alexander von Humboldt-Stiftung, University of Leeds

المصدر: Indagationes Mathematicae ; volume 29, issue 1, page 226-259 ; ISSN 0019-3577

الاتاحة: http://dx.doi.org/10.1016/j.indag.2017.09.011
https://api.elsevier.com/content/article/PII:S0019357717301118?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0019357717301118?httpAccept=text/plain

المؤلفون: Rinaldi, Davide

المساهمون: Schuster, Peter

الاتاحة: http://data.europeana.eu/aggregation/europeana/2048441/item_N5AVNYZ5JQZ34JJJ7FZDPSMU74WBKOWB

المؤلفون: Rinaldi, Davide, Sambin, Giovanni, Schuster, Peter

مصطلحات موضوعية: Applied Mathematics, Mathematical Physics, Mathematics (miscellaneous)

Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/192110

الاتاحة: https://www.openaccessrepository.it/record/192110
https://doi.org/10.5802/cml.18

المؤلفون: RINALDI, DAVIDE

المساهمون: SERAFINI, LUCIANO

مصطلحات موضوعية: Neurosymbolic AI, Deep learning, Reasoning, Many-valued logics

وصف الملف: application/pdf

Relation: Dipartimento di Matematica "Tullio Levi-Civita" - DM; DATA SCIENCE Laurea Magistrale (D.M. 270/2004); 2023; https://hdl.handle.net/20.500.12608/64795

الاتاحة: https://hdl.handle.net/20.500.12608/64795

المؤلفون: Rinaldi, Davide

المصدر: Journal of Algebra ; volume 383, page 178-196 ; ISSN 0021-8693

الاتاحة: http://dx.doi.org/10.1016/j.jalgebra.2013.02.034
https://api.elsevier.com/content/article/PII:S0021869313001257?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0021869313001257?httpAccept=text/plain

المؤلفون: Rinaldi, Davide, Wessel, Daniel

المساهمون: Rinaldi, Davide, Wessel, Daniel

مصطلحات موضوعية: Entailment relation, cut elimination, constructive mathematics

Relation: firstpage:0; lastpage:0; numberofpages:21; journal:ARCHIVE FOR MATHEMATICAL LOGIC; http://hdl.handle.net/11562/990379; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85057990213

الاتاحة: http://hdl.handle.net/11562/990379
https://doi.org/10.1007/s00153-018-0653-0

المؤلفون: Ciraulo, Francesco, Rinaldi, Davide, Schuster, Peter Michael

المساهمون: Reinhard Kahle, Thomas Strahm, Thomas Studer, Ciraulo, Francesco, Rinaldi, Davide, Schuster, Peter Michael

مصطلحات موضوعية: Open Induction, Lindenbaum's Lemma, Zorn's Lemma, first-order predicate logic, classical, intuitionistic, lattices, distributive, complete

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-29196-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000389944800003; ispartofbook:Advances in Proof Theory; volume:28; firstpage:65; lastpage:77; numberofpages:13; serie:PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC; alleditors:Reinhard Kahle; Thomas Strahm; Thomas Studer; http://hdl.handle.net/11562/944374; http://link.springer.com/chapter/10.1007%2F978-3-319-29198-7_3

الاتاحة: http://hdl.handle.net/11562/944374
https://doi.org/10.1007/978-3-319-29198-7_3
http://link.springer.com/chapter/10.1007%2F978-3-319-29198-7_3

المؤلفون: RINALDI, DAVIDE

المساهمون: LEALI FRANCESCO, AVALLONE ALESSANDRO

المصدر: https://morethesis.unimore.it/theses/available/etd-02102019-191310/.

مصطلحات موضوعية: Dipartimento di Ingegneria "Enzo Ferrari"

وصف الملف: application/pdf

Relation: https://morethesis.unimore.it/theses/available/etd-02102019-191310/

الاتاحة: https://morethesis.unimore.it/theses/available/etd-02102019-191310/

المؤلفون: RINALDI, DAVIDE

المساهمون: MAUCIERI, CARMELO

مصطلحات موضوعية: fasce climatiche, migrazioni viticole, temperatura, vite, agroecosistemi

وصف الملف: application/pdf

Relation: Dipartimento di Agronomia Animali Alimenti Risorse Naturali e Ambiente - DAFNAE; SCIENZE E TECNOLOGIE VITICOLE ED ENOLOGICHE Laurea di Primo Livello (D.M. 270/2004); 2022; https://hdl.handle.net/20.500.12608/56154

الاتاحة: https://hdl.handle.net/20.500.12608/56154

المؤلفون: Rinaldi, Davide, Wessel, Daniel

مصطلحات موضوعية: FOS: Computer and information sciences, entailment relations, distributive lattices, constructive mathematics, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2397821fd58f5901c0d13afa33bae700
http://hdl.handle.net/11562/990380

المؤلفون: Rinaldi, Davide, Schuster, Peter Michael

المساهمون: Rinaldi, Davide, Schuster, Peter Michael

مصطلحات موضوعية: prime ideals, irreducible ideals, closure operator, complete theories, Zorn's Lemma, Open Induction

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000375736300010; volume:220; issue:9; firstpage:3207; lastpage:3232; numberofpages:26; journal:JOURNAL OF PURE AND APPLIED ALGEBRA; http://hdl.handle.net/11562/939438; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84960158107; http://www.sciencedirect.com/science/article/pii/S0022404916000438

الاتاحة: http://hdl.handle.net/11562/939438
https://doi.org/10.1016/j.jpaa.2016.02.011
http://www.sciencedirect.com/science/article/pii/S0022404916000438

المؤلفون: Locatelli, Marco P., Rinaldi, Davide L., Simone, Carla, Vizzari, Giuseppe

المصدر: 2012 18th International Conference on Virtual Systems and Multimedia ; page 453-460

الاتاحة: http://dx.doi.org/10.1109/vsmm.2012.6365958
http://xplorestaging.ieee.org/ielx5/6341172/6365890/06365958.pdf?arnumber=6365958

المؤلفون: LOCATELLI, MARCO PAOLO, RINALDI, DAVIDE LORENZO, SIMONE, CARLA, VIZZARI, GIUSEPPE

المساهمون: Locatelli, M, Rinaldi, D, Simone, C, Vizzari, G

مصطلحات موضوعية: cultural heritage, semantic access to digital contents, virtual documentation, INF/01 - INFORMATICA, archeo, info

Relation: http://hdl.handle.net/10281/39553

الاتاحة: http://hdl.handle.net/10281/39553