...
机译:Tableau方法和DEL-Sequents的NEXPTIME完成度
Dynamic epistemic logictableau methodcomputational complexity;
机译:具有术语声明的逻辑的Tableau方法
机译:低指数方法对ADAMS稀疏表公式化对多体机械系统计算动力学的影响的研究
机译:交替时间逻辑ATL〜+中用于构造满意度测试和模型综合的最优Tableau方法
机译:使用Tableau方法进行归纳推理进行高级图像解释
机译:苏联地图:在已故社会主义下的电影和历史(1953-1985)
机译:表(版本2020.3)
机译:Tableau方法和DEL-Sequents的NEXPTIME-Completeness