( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
: DRHOP, A Platform Proposal for Online Charity.

, и . WEBIST, стр. 285-292. SciTePress, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Francesco Bettella

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

Francesco Solimena

Francesco Pinosa

Francesco Knechtli

Francesco Virili

 

Другие публикации лиц с тем же именем

Coaxioms: flexible coinductive definitions by inference systems.. Logical Methods in Computer Science, (2019)Extending Coinductive Logic Programming with Co-Facts., , и . CoALP-Ty, том 258 из EPTCS, стр. 1-18. (2016)Foundations of regular coinduction.. Log. Methods Comput. Sci., (2021)A Java-like calculus with heterogeneous coeffects., , , и . Theor. Comput. Sci., (сентября 2023)Corecursive Featherweight Java Revisited., , , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 158-170. CEUR-WS.org, (2019)Logical Foundations of Quantitative Equality., и . LICS, стр. 16:1-16:13. ACM, (2022)Sound Regular Corecursion in coFJ., , , и . ECOOP, том 166 из LIPIcs, стр. 1:1-1:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Multi-Graded Featherweight Java., , , и . ECOOP, том 263 из LIPIcs, стр. 3:1-3:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Flexible Coinduction in Agda., , и . ITP, том 193 из LIPIcs, стр. 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Modeling Infinite Behaviour by Corules., , и . ECOOP, том 109 из LIPIcs, стр. 21:1-21:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)