谢尔盖·冈查洛夫;斯特凡·米利厄斯;亚历山德拉·席尔瓦 走向有效状态机的统一理论。 (英语) 兹比尔1446.68085 ACM事务处理。计算。日志。 第21条第3款第23条第63页(2020年).MSC公司:68问题55 18立方厘米 18 C50 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,ACM Trans。计算。日志。21,第3号,第23条,第63页(2020;Zbl 1446.68085) 全文: 内政部 arXiv公司 链接
菲利波·邦奇;Bonsangue,Marcelo M。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 Brzozowski最小化算法中的代数-代数对偶。 (英语) Zbl 1288.68174号 ACM事务处理。计算。日志。 第15号第1条第3条第29页(2014年).MSC公司:70年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,ACM Trans。计算。日志。15,第1号,第3条,29页(2014年;Zbl 1288.68174) 全文: 内政部 链接
马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山德拉·席尔瓦 组合语言等价的合理且完整的公理化。 (英语) 兹比尔1353.68186 ACM事务处理。计算。日志。 14,第1号,第7条,52页(2013年).MSC公司:70年第68季度 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人,ACM Trans。计算。日志。14,第1号,第7条,52页(2013;Zbl 1353.68186) 全文: 内政部 arXiv公司