Proving Termination by Policy Iteration
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者Massé, Damien
- 卷第287卷
- 印刷ISSN1571-0661
- 文件大小249.01KB
- 发表时间2012-11
- DOI10.1016/j.entcs.2012.09.008
- 页码77-88
Familial Testicular TorsionCubillos, Jimena; Palmer, Jeffrey S.; Friedman, Steven C.; Freyle, Jaime; Lowe, Franklin C.; Palmer, Lane S. · The Journal of Urology · 2011
539 FAMILIAL TESTICULAR TORSIONCubillos, Jimena; Palmer, Jeffrey S.; Friedman, Steven; Freyle, Jaime; Palmer, Lane S. · The Journal of Urology · 2010
Hypertrophic cardiomyopathyMaron, Barry J; Maron, Martin S · The Lancet · 2013
Noonan syndromeRoberts, Amy E; Allanson, Judith E; Tartaglia, Marco; Gelb, Bruce D · The Lancet · 2013
Pemphigoid diseasesSchmidt, Enno; Zillikens, Detlef · The Lancet · 2013
Fukushima: no ChernobylBurki, Talha Khan · The Lancet Oncology · 2013
SCIENCE AND RELIGION.The Lancet · 1925
GRAMICIDIN S REVIEW OF RECENT WORKGause, G.F. · The Lancet · 1946
GOITRE AND IODINE DEFICIENCY IN EUROPESUBCOMMITTEEFORTHESTUDYOFENDE, · The Lancet · 1985
Muscular dystrophiesMercuri, Eugenio; Muntoni, Francesco · The Lancet · 2013