键盘:交替图灵机,复杂性,归纳,分离逻辑
在:埃尔维拉·阿尔伯特和劳拉·科瓦奇(编辑)。LPAR23.LPAR-23:第23届程序设计、人工智能和推理逻辑国际会议,第73卷,第191--211页
@inprocesdings{LPAR23:Entailment_Checking_in_Separation,author={Mnacho Echenim、Radu Iosif和Nicolas Peltier},title={带有归纳定义的分离逻辑中的蕴涵检查是2-EXPTIME硬},booktitle={LPAR23。LPAR-23:第23届国际程序设计、人工智能和推理逻辑会议},editor={Elvira Albert和Laura Kovacs},series={计算中的EPiC系列},体积={73},页数={191--211},年份={2020年},publisher={EasyChair},bibsource={EasyChair,https://easychair.org},issn={2398-7340},url={https://easychair.org/publications/paper/DdNg},doi={10.29007/f5wh}}