Tour男孩,蒂埃里;穆纳乔·埃切宁 关于演绎模叶置换方程的复杂性。 (英语) Zbl 1086.03008号 J.汽车。推理 33,编号3-4,271-317(2004).MSC公司:03B35型 2015年3月1日 20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{M.Echenim},J.Autom。推理33,No.3--4,271--317(2004;Zbl 1086.03008) 全文: 内政部
阿南塔拉曼,湿婆;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模ACUI加分配公理。 (英语) Zbl 1063.03006号 J.汽车。推理 33,第1期,1-28页(2004年).MSC公司:03B35型 68吨15 2012年第68季度 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理33,No.1,1--28(2004;Zbl 1063.03006) 全文: 内政部