朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 理性验证的复杂性。 (英语) Zbl 07730283号 安。数学。Artif公司。智力。 91,第4号,409-430(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《数学年鉴》。Artif公司。智力。91,编号4,409--430(2023;Zbl 07730283) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 合理环境的合成。 (英语) Zbl 1372.68173号 安。数学。Artif公司。智力。 78,编号1,3-20(2016).MSC公司:60年第68季度 03B70号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《数学年鉴》。Artif公司。智力。78,第1号,第3--20号(2016;Zbl 1372.68173) 全文: 内政部
迈克尔·伍尔德里奇;保罗·E·邓恩。 代理设计问题的复杂性:确定性和历史依赖性。 (英语) Zbl 1103.68104号 安。数学。Artif公司。智力。 45,第3-4号,343-371(2005).MSC公司:68时01分 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{P.E.Dunne},Ann.数学。Artif公司。智力。45,编号3--4,343--371(2005;Zbl 1103.68104) 全文: 内政部