Formalising Semantics for Expected Running Time of Probabilistic Programs (Q2829281)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formalising Semantics for Expected Running Time of Probabilistic Programs |
scientific article; zbMATH DE number 6644762
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formalising Semantics for Expected Running Time of Probabilistic Programs |
scientific article; zbMATH DE number 6644762 |
Statements
Formalising Semantics for Expected Running Time of Probabilistic Programs (English)
0 references
27 October 2016
0 references
0.9075501
0 references
0.9014387
0 references
0.8893026
0 references
0.88449633
0 references
0.8823868
0 references
0.8821233
0 references
0.88144326
0 references
0.88144326
0 references
