Similar Items: Zeta Functions and the (Linear) Logic of Markov Processes
- A Formal Proof of the Irrationality of $zeta(3)$
- Functional Interpretations of Intuitionistic Linear Logic
- Linear Temporal Logic for Regular Cost Functions
- Markov two-components processes
- Semipullbacks of labelled Markov processes
- Quantifying the Effectiveness of Linear Preconditioning in Markov Chain Monte Carlo