[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - On the existence of effective Hoare logics
- 作者Grabowski, M.; Hungar, H.
- 文件大小548.48KB
- 发表时间1988
- DOI10.1109/lics.1988.5140
- 页码428-435
Electromagnetic ice absorption rate at Dome C, AntarcticaZirizzotti, A.; Cafarella, L.; Urbini, S.; Baskaradas, J. A. · Journal of Glaciology · 2014
Daily variation at Concordia station (Antarctica) and its dependence on IMF conditionsCafarella, L.; Di Mauro, D.; Lepidi, S.; Meloni, A.; Pietrolungo, M.; Santarelli, L.; Schott, J. J. · Annales Geophysicae · 2007
Evidence of probable scurvy in subadults from archeological sites in North AmericaDonald J. Ortner; Whitney Butler; Jessica Cafarella; Lauren Milligan · 2001
[IEEE 1973 Ultrasonics Symposium - (1973.11.5-1973.11.7)] 1973 Ultrasonics Symposium - Surface Acoustoelectric ConvolversSmith, J.M.; Stern, E.; Bers, A.; Cafarella, J. · 1973
RES Signatures of Ice Bottom Near to Dome C (Antarctica)Urbini, S.; Cafarella, L.; Tabacco, I. E.; Baskaradas, J. A.; Serafini, M.; Zirizzotti, A. · IEEE Transactions on Geoscience and Remote Sensing · 2015
Use of an Australian Quality of Life Tool in Patients with COPDPaddison, J. S.; Cafarella, P.; Frith, P. · COPD: Journal of Chronic Obstructive Pulmonary Disease · 2012
Theoretical Limits of Hydrogen Storage in Metal–Organic Frameworks: Opportunities and Trade-OffsGoldsmith, Jacob; Wong-Foy, Antek G.; Cafarella, Michael J.; Siegel, Donald J. · Chemistry of Materials · 2013
Crystallographic Complexes of Surfactant Protein A and Carbohydrates Reveal Ligand-induced Conformational ChangeShang, F.; Rynkiewicz, M. J.; McCormack, F. X.; Wu, H.; Cafarella, T. M.; Head, J. F.; Seaton, B. A. · Journal of Biological Chemistry · 2011