迪伦·贝利尔;马西莫·贝内雷塞蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 Good-for-game QPTL:一种交替的hodges语义。 (英语) Zbl 07650600号 ACM事务处理。计算。日志。 24,第1号,第4号论文,57页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人,ACM Trans。计算。日志。24,第1号,第4号论文,57页(2023;Zbl 07650600) 全文: 内政部 arXiv公司
马西莫·贝内雷塞蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 关于子结构和游戏的推理。 (英语) Zbl 1354.03019号 ACM事务处理。计算。日志。 第16条第3款第25条第51页(2015年).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《美国医学杂志》。计算。日志。16,第3号,第25条,51页(2015;Zbl 1354.03019) 全文: 内政部