JiříAdamek;斯特凡·米利厄斯;海宁·乌尔巴特 句法幺半群的范畴方法。 (英语) Zbl 1476.68158号 日志。方法计算。科学。 14,第2号,第9号论文,34页(2018年).MSC公司:70年第68季度 18日第15天 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Adamek}等人,日志。方法计算。科学。14,第2号,第9号论文,34页(2018;Zbl 1476.68158) 全文: 内政部 arXiv公司
罗伯特·S·R·迈尔斯。;阿达梅克,吉安尼;斯特凡·米利厄斯;海宁·乌尔巴特 规范非确定自动机的余代数构造。 (英语) Zbl 1380.68290号 西奥。计算。科学。 604, 81-101 (2015). 审核人:纳尔逊·马丁斯·费雷拉(莱里亚) MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.S.R.Myers}等人,Theor。计算。科学。604、81--101(2015年;Zbl 1380.68290) 全文: 内政部