Cardio-Oncology
- 期刊名称Circulation
- 作者Bellinger, Andrew M.; Arteaga, Carlos L.; Force, Thomas; Humphreys, Benjamin D.; Demetri, George D.; Druker, Brian J.; Moslehi, Javid J.
- 卷第132卷
- 期第23期
- 印刷ISSN0009-7322
- 电子ISSN1524-4539
- 文件大小1308.57KB
- 发表时间2015-12-08
- DOI10.1161/CIRCULATIONAHA.115.010484
- 页码2248-2258
[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - The Complexity of Boundedness for Guarded LogicsBenedikt, Michael; Cate, Balder Ten; Colcombet, Thomas; Boom, Michael Vanden · 2015
[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 logicsBenedikt, Michael; ten Cate, Balder; Boom, Michael Vanden · 2014
Boolean satisfiability with transitivity constraintsBryant, Randal E.; Velev, Miroslav N. · ACM Transactions on Computational Logic · 2002
LTL over description logic axiomsBaader, Franz; Ghilardi, Silvio; Lutz, Carsten · ACM Transactions on Computational Logic · 2012
Structural FocalizationSimmons, Robert J. · ACM Transactions on Computational Logic · 2014
Quantitative languagesChatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. · ACM Transactions on Computational Logic · 2010
Propositional computability logic IIJaparidze, Giorgi · ACM Transactions on Computational Logic · 2006
Compilability of propositional abductionLiberatore, Paolo; Schaerf, Marco · ACM Transactions on Computational Logic · 2007
On compositionality and its limitationsRabinovich, Alexander · ACM Transactions on Computational Logic · 2007
Erratum to splitting an operatorVennekens, Joost; Gilis, David; Denecker, Marc · ACM Transactions on Computational Logic · 2007