×
马塞洛·M·邦桑格。；斯特凡·米利厄斯；亚历山德拉·席尔瓦

组合语言等价的合理且完整的公理化。 （英语） Zbl 1353.68186号

ACM事务处理。计算。日志。 14，第1号，第7条，52页（2013年）.

引用于1审查
引用于27文件

MSC公司：

70年第68季度 语言和自动机的代数理论
18个C20 单体的Eilenberg-Moore和Kleisli构造

关键词：

联合布拉格；语言等价；正则表达式；追踪；加权自动机
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Bonsangue}等人，ACM Trans。计算。日志。14，第1号，第7条，52页（2013；Zbl 1353.68186）
全文： 内政部 arXiv公司