Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond (2023)

First Author: Vaishak Belle
Attributed to:  UKRI Trustworthy Autonomous Systems Node in Governance and Regulation funded by SPF

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.5281/zenodo.8121235

Publication URI: https://zenodo.org/record/8121235

Type: Journal Article/Review