威廉·康雷迪;安德鲁·克雷格 mu结石的典型性结果:一种算法方法。 (英语) Zbl 1444.03047号 J.日志。计算。 27,第3号,705-748(2017)。MSC公司:03B45号 03G10年 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}和\textit{A.Craig},J.Log。计算。27,第3号,705--748(2017;Zbl 1444.03047) 全文: 内政部 arXiv公司
威廉·康雷迪;伊夫·福马塔蒂;亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布 直觉模态多演算的算法对应。 (英语) Zbl 1318.03030号 西奥。计算。科学。 564, 30-62 (2015)。MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,Theor。计算。科学。564,30--62(2015;Zbl 1318.03030) 全文: 内政部