阿达梅克,吉安尼;陈良婷;斯特凡·米利厄斯;海宁·乌尔巴特 关于单体有限代数的Reiterman定理。 (英语) Zbl 1505.18009号 ACM事务处理。计算。日志。 22,第4条,第23条,48页(2021年).MSC公司:18立方厘米 70年第68季度 08B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,ACM Trans。计算。日志。22,第4号,第23条,48页(2021;Zbl 1505.18009) 全文: 内政部 arXiv公司
谢尔盖·冈查洛夫;斯特凡·米利厄斯;亚历山大·席尔瓦 走向有效状态机的统一理论。 (英语) Zbl 1446.68085号 ACM事务处理。计算。日志。 21,第3号,第23条,第63页(2020).MSC公司:第68季度55 18立方厘米 18立方厘米50 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,ACM Trans。计算。日志。21,第3号,第23条,63页(2020年;Zbl 1446.68085) 全文: 内政部 arXiv公司 链接
阿达梅克,吉安尼;斯特凡·米利厄斯;罗伯特·S·R·迈尔斯。;海宁·乌尔巴特 广义艾伦伯格定理。一个类别中的各种语言。 (英语) Zbl 1407.68315号 ACM事务处理。计算。日志。 20,第1号,第3条,第47页(2019).MSC公司:70年第68季度 18B20型 18日第10天 18日第15天 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,ACM Trans。计算。日志。20,第1号,第3条,47页(2019年;Zbl 1407.68315) 全文: 内政部
马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山大·席尔瓦 组合语言等价的合理且完整的公理化。 (英语) Zbl 1353.68186号 ACM事务处理。计算。日志。 14,第1号,第7条,52页(2013年).MSC公司:70年第68季度 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人,ACM Trans。计算。日志。14,第1号,第7条,52页(2013;Zbl 1353.68186) 全文: 内政部 arXiv公司