Notes on constructive probability theory
From MaRDI portal
Publication:1394066
DOI10.1214/aop/1176996751zbMath0278.60045OpenAlexW2050004521MaRDI QIDQ1394066
Publication date: 1974
Published in: The Annals of Probability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1214/aop/1176996751
Continuous-time Markov processes on general state spaces (60J25) Proof theory and constructive mathematics (03F99)
Related Items
A sojourn-based approach to semi-Markov reinforcement learning, Computability on random events and variables in a computable probability space
