埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 (英语) Zbl 1497.03032号 Inf.计算。 278,文章ID 104597,22 p.(2021). 审核人:菲利普·高彻(巴黎) MSC公司:03B42号 55单位35 18号40 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,《信息计算》。278,文章ID 104597,22 p.(2021;Zbl 1497.03032) 全文: DOI程序 arXiv公司 链接
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 (英语) 兹比尔1498.03045 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27773-87(2018)。MSC公司:03B42号 03B70号 18号40 55单位35 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277,73-87(2018年;兹bl 1498.03045) 全文: 链接