( en | de | ru )

 

Disambiguierung von "Dagnino, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-Graded Featherweight Java.

, , , und . ECOOP, Volume 263 von LIPIcs, Seite 3:1-3:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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)Extending Coinductive Logic Programming with Co-Facts., , und . CoALP-Ty, Volume 258 von EPTCS, Seite 1-18. (2016)A Java-like calculus with heterogeneous coeffects., , , und . Theor. Comput. Sci., (September 2023)Foundations of regular coinduction.. Log. Methods Comput. Sci., (2021)Logical Foundations of Quantitative Equality., und . LICS, Seite 16:1-16:13. ACM, (2022)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)Flexible Coinduction in Agda., , und . ITP, Volume 193 von LIPIcs, Seite 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Meta-theory for Big-step Semantics.. ACM Trans. Comput. Log., 23 (3): 20:1-20:50 (2022)