Pages that link to "Item:Q1977920"
From MaRDI portal
The following pages link to Probabilistic verification of proofs in calculuses (Q1977920):
Displaying 7 items.
- Probabilistic verification of Boolean functions (Q685120) (← links)
- Towards a structural proof theory of probabilistic \(\mu\)-calculi (Q2289094) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC (Q3021957) (← links)
- (Q4501575) (← links)
- (Q4736998) (← links)
- On the concrete efficiency of probabilistically-checkable proofs (Q5495829) (← links)