米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权转移系统中边界的推理。 （英语） 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号 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝等人，软计算。22，编号41085-1102（2018；兹bl 1522.03054） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔;薛冰田 无交替加权微积分：可判定性和完备性。 （英语） Zbl 1351.68164号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319289-313，仅电子版（2015）。MSC公司：60年第68季度 03B45号 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，《电子》。注释Theor。计算。科学。319289-313（2015；Zbl 1351.68164） 全文： 内政部