内尔玛·莫雷拉;雷斯·罗热里奥 使用导数操作正则表达式：概述。 （英语） Zbl 07572309号 Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13266, 19-33 (2022).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}和\textit{R.Reis}，莱克特。注释计算。科学。13266，19-33（2022；Zbl 07572309） 全文： 内政部
马可·贝尔纳多 走向双相似性和痕迹语义的一般公理化。 （英语） 兹比尔0745132 Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。12669, 31-53 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}，莱克特。注释计算。科学。12669，31-53（2021；Zbl 07415132） 全文： 内政部
斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼 有限共递归和迭代代数的新基础。 （英语） Zbl 1435.68208号 Inf.计算。 271，文章ID 104456，27 p.（2020）.MSC公司：70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Milius}等人，《信息计算》。271，文章ID 104456，27 p.（2020；Zbl 1435.68208） 全文： 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链总变异距离的完全公理化。 （英语） Zbl 1525.68080号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 27-39 (2018).MSC公司：68问题85 03B70号 60J10型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，《电子》。注释Theor。计算。科学。336、27-39（2018年；Zbl 1525.68080） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 （英语） 兹比尔1409.68182 日志。计算方法。科学。 14，第4号，第15号论文，29页（2018年）.MSC公司：68问题85 03B70号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，日志。计算方法。科学。14，第4号，第15号论文，29页（2018；Zbl 1409.68182） 全文： 内政部 arXiv公司
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼 代数表达语言中的谓词提升和函子表示。 （英语） 兹比尔1519.68146 科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。11202, 56-77 (2018).MSC公司：68问题65 03G30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{U.Dorsch}等人，Lect。注释计算。科学。11202，56-77（2018；Zbl 1519.68146） 全文： 内政部 arXiv公司
斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼 有限共渗的新基础。局部有限不动点及其性质。 （英语） Zbl 1475.68196号 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。9634, 107-125 (2016).MSC公司：70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Milius｝等人，Lect。注释计算。科学。9634，107-125（2016；Zbl 1475.68196） 全文： 内政部
JoséN·奥利维拉。 加权自动机作为矩阵范畴中的余代数。 （英语） Zbl 1353.68188号 发现的国际期刊。计算。科学。 24，第6号，709-728（2013）.MSC公司：70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit｛J.N.Oliveira｝，国际发现杂志。计算。科学。24，编号6，709--728（2013年；兹bl 1353.68188） 全文： 内政部
JoséN·奥利维拉。 走向线性编程代数。 （英语） Zbl 1259.68135号 正式Asp。计算。 24，编号4-6，433-458（2012）.MSC公司：68问题65 68甲19 15A99号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}，正式Asp。计算。24、编号4--6、433--458（2012；Zbl 1259.68135） 全文： 内政部 链接
亚历山德拉·席尔瓦;安娜·索科洛娃 概率系统迹语义的健全和完整公理化。 （英语） Zbl 1342.68243号 Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276291-311（2011）。MSC公司：68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}和\textit{A.Sokolova}，电子。注释Theor。计算。科学。276291-311（2011；Zbl 1342.68243） 全文： 内政部