马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 Moessner定理的形式化及其推广Nuprl公司. (英语) Zbl 07432496号 J.日志。阿尔盖布。方法计划。 124,文章ID 100713,6 p.(2022).MSC公司:03B35型 11立方英尺83 13层25 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,J.Log。阿尔盖布。方法程序。124,文章ID 100713,6 p.(2022;Zbl 07432496) 全文: 内政部
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 软件定义网络的基于角色的模型检查。 (英语) Zbl 1455.68101号 J.日志。阿尔盖布。方法计划。 118,文章ID 100617,26 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Log。阿尔盖布。方法程序。118,文章ID 100617,26 p.(2021;Zbl 1455.68101) 全文: 内政部 arXiv公司 链接
格科·范·海尔特;约书亚·莫尔曼;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 简洁自动机的代数理论。 (英语) Zbl 1423.68300号 J.日志。阿尔盖布。方法计划。 105, 112-125 (2019).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.van Heerdt}等人,J.Log。阿尔盖布。方法程序。105、112-125(2019年;Zbl 1423.68300) 全文: 内政部 arXiv公司
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 (英语) Zbl 1417.68134号 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司:68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,J.Log。阿尔盖布。方法程序。103130-153(2019年;兹bl 1417.68134) 全文: 内政部 arXiv公司
德克斯特·科赞;康斯坦蒂诺斯·马穆拉斯;亚历山德拉·席尔瓦 标称Kleene代数中的完全性和不完全性。 (英语) Zbl 1372.68064号 J.日志。阿尔盖布。方法计划。 91, 17-32 (2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人,J.Log。阿尔盖布。方法程序。91、17-32(2017;Zbl 1372.68064) 全文: 内政部 链接
路易斯·巴博萨;阿尔西诺·库尼亚;亚历山德拉·席尔瓦 向何塞·努诺·奥利维拉致敬。 (英语) Zbl 1352.01024号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,805(2016).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Barbosa}等人,J.Log。阿尔盖布。方法程序。85,第2部分第5号,805(2016;Zbl 1352.01024) 全文: 内政部