Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract
Crossref DOI link: https://doi.org/10.1007/s13218-024-00843-y
Published Online: 2024-04-16
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Antonelli, Melissa http://orcid.org/0009-0006-9072-4847
Funding for this research was provided by:
University of Helsinki
Text and Data Mining valid from 2024-04-16
Version of Record valid from 2024-04-16
Article History
Received: 16 December 2023
Accepted: 24 March 2024
First Online: 16 April 2024