Thiago Mendonça Ferreira Ramos

From MaRDI portal
Person:1799281

Available identifiers

zbMath Open ramos.thiago-mendonca-ferreiraMaRDI QIDQ1799281

List of research outcomes





PublicationDate of PublicationType
Formal verification of termination criteria for first-order recursive functions2024-02-06Paper
Formalization of the computational theory of a Turing complete functional language model2022-12-12Paper
Split Conformal Prediction for Dependent Data2022-03-29Paper
Formalization of the undecidability of the halting problem for a functional language2018-10-18Paper

Research outcomes over time

This page was built for person: Thiago Mendonça Ferreira Ramos

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1799281&oldid=6459726"
Powered by MediaWiki