( en | de | ru )

 

Disambiguierung von "Dagnino, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
: DRHOP, A Platform Proposal for Online Charity.

, und . WEBIST, Seite 285-292. SciTePress, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Solimena

Francesco Pinosa

Francesco Knechtli

Francesco Parrino

 

Weitere Publikationen von Autoren mit dem selben Namen

Coaxioms: flexible coinductive definitions by inference systems.. Logical Methods in Computer Science, (2019)A Java-like calculus with heterogeneous coeffects., , , und . Theor. Comput. Sci., (September 2023)Extending Coinductive Logic Programming with Co-Facts., , und . CoALP-Ty, Volume 258 von EPTCS, Seite 1-18. (2016)Foundations of regular coinduction.. Log. Methods Comput. Sci., (2021)Sound Regular Corecursion in coFJ., , , und . ECOOP, Volume 166 von LIPIcs, Seite 1:1-1:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Multi-Graded Featherweight Java., , , und . ECOOP, Volume 263 von LIPIcs, Seite 3:1-3:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Corecursive Featherweight Java Revisited., , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 158-170. CEUR-WS.org, (2019)Logical Foundations of Quantitative Equality., und . LICS, Seite 16:1-16:13. ACM, (2022)Flexible Coinduction in Agda., , und . ITP, Volume 193 von LIPIcs, Seite 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Foundations of regular coinduction.. CoRR, (2020)