机译:交替时间逻辑ATL〜+中用于构造满意度测试和模型综合的最优Tableau方法
机译:ATL可满足性确实是EXPTIME-complete
机译:基于ATL ATL预后指数的未经治疗的侵袭性成人T细胞白血病淋巴瘤(ATL ATL)的风险适应治疗策略的可能性:JCOG JCOG 9801的补充分析
机译:ATL〜*可满足性是2EXPTIME
机译:堡垒的抓地力:西部大西洋岸边保守的技术政治生态= anillorator抓地力:西部大西洋鸟类保护的技术生态学
机译:Guerrero CLHYamashita YMiyara M等。 HTLV-1携带者和ATL患者的蛋白质组分析显示sTNFR2是急性ATL的新型诊断生物标志物。血液高级2020; 4(6):1062-1071。
机译:用于测试交替时间时序逻辑aTL +中可满足性的最优基于表格的决策程序