米克尔·汉森;拉森,金·古尔德斯特朗;拉杜·马代尔;马蒂亚斯·拉加德·佩德森 关于加权转移系统中边界的推理。 (英语) Zbl 1528.68253号 日志。计算方法。科学。 14,第4号,第19号论文,第32页(2018).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人,《日志》。计算方法。科学。14,第4号,第19号论文,32页(2018;Zbl 1528.68253) 全文: 内政部 arXiv公司
Larsen,Kim G。;拉杜·马代尔;薛炳添 递归加权逻辑的可判定性。 (英语) Zbl 1522.03054号 软计算。 22,第4期,1085-1102(2018).MSC公司:03B45号 03B70号 03B25号 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《软计算》。22,第4号,1085--1102(2018;Zbl 1522.03054) 全文: 内政部
Larsen,Kim G。;拉杜·马代尔;薛炳添 无交替加权微积分:可判定性和完备性。 (英语) Zbl 1351.68164号 Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319289-313,仅电子版(2015)。MSC公司:第68季度第60季度 03B45号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《电子》。注释Theor。计算。科学。319289-313(2015年;兹比尔1351.68164) 全文: 内政部