[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Effective interpolation and preservation in guarded logics
- 作者Benedikt, Michael; ten Cate, Balder; Boom, Michael Vanden
- 文件大小355.27KB
- 发表时间2014
- DOI10.1145/2603088.2603108
- 页码1-10
同作者推荐
Thermal conductivity and thermal expansion of graphite fiber-reinforced copper matrix compositesDavid L. Ellis; David L. McDanels · 1993
[AIP Proceedings of the eighth symposium on space nuclear power systems - Albuquerque, New Mexico (USA) (6−10 Jan 1991)] AIP Conference Proceedings - Graphite fiber/copper matrix composites for space power heat pipe fin applicationsMcDanels, David L.; Baker, Karl W.; Ellis, David L. · 1991