Why Separation Logic Works
- 期刊名称Philosophy & Technology
- 作者Pym, David; Spring, Jonathan M.; O’Hearn, Peter
- 印刷ISSN2210-5433
- 电子ISSN2210-5441
- 文件大小814.57KB
- 发表时间2018-5-22
- DOI10.1007/s13347-018-0312-8
AcknowledgmentsKupershmidt, Lana; Amit, Tamar; Bar-Am, Orit; Weinreb, Orly; Youdim, Moussa B. H. · Molecular Neurobiology · 2012
ForewordMüller, Walter E.; Eckert, Gunter P.; Sun, Grace Y.; Wood, W. Gibson · Molecular Neurobiology · 2012
Molecular Mechanisms of MeditationJindal, Vishal; Gupta, Sorab; Das, Ritwik · Molecular Neurobiology · 2013
Methadone-Induced HypoglycemiaFaskowitz, Andrew J.; Kramskiy, Vladimir N.; Pasternak, Gavril W. · Cellular and Molecular Neurobiology · 2013
Inflammation: Therapeutic Targets for Diabetic NeuropathyZhou, Jiyin; Zhou, Shiwen · Molecular Neurobiology · 2014
Interconnection Between Brain and Retinal NeurodegenerationsJindal, Vishal · Molecular Neurobiology · 2015
Gas Sensing in NematodesCarrillo, M. A.; Hallem, E. A. · Molecular Neurobiology · 2015
Oxidative Stress and Neurobiology of DemyelinationLjubisavljevic, Srdjan · Molecular Neurobiology · 2014