dblp:Enric Cosme-Llópez公司 https://dblp.org/pid/139/0245.html dblp个人页面RSS提要 2024年5月8日星期三23:27:38+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址dblp:Enric Cosme-Llópez公司https://dblp.org/pid/139/0245.html14451 从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。https://doi.org/10.48550/arXiv.2402.12051,以下为：
从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。 CoRR公司 abs/2402.12051()]]>https://dblp.org/rec/journals/corr/abs-2402-120512024年1月1日星期一00:00:00+0100 施密特结构的功能性。https://doi.org/10.1093/gigpal/jzac048,以下为：
施密特结构的功能性。 日志。J.IGPL公司 31(5)以下为：822-893()]]>https://dblp.org/rec/journals/igpl/VidalC232023年9月1日星期五01:00:00+0200 自由多分类代数可识别性定理的基于同余的证明。https://doi.org/10.1093/logcom/exz032,以下为：
自由多分类代数可识别性定理的基于同余的证明。 J.日志。计算。 30(2)以下为：561-633()]]>https://dblp.org/rec/journals/logcom/VidalC202020年1月1日星期三00:00:00+0100 有限多分类代数的超积的超限多分类代数何时收缩？https://doi.org/10.1093/jigpal/jzy005,以下为：
有限多分类代数的超积的超限多分类代数何时收缩？ 日志。J.IGPL公司 26(4)以下为：381-407()]]>https://dblp.org/rec/journals/igpl/VidalC182018年1月1日星期一00:00:00+0100 自由多排序代数可识别性定理的基于同余的证明。http://arxiv.org/abs/1808.08217,以下为：
自由多分类代数可识别性定理的基于同余的证明。 CoRR公司 abs/1808.08217()]]>https://dblp.org/rec/journals/corr/abs-1808-082172018年1月1日星期一00:00:00+0100 作为自由代数的K4-自由图。https://doi.org/10.4230/LIPIcs.MFCS.2017.76,以下为：
作为自由代数的K4-自由图。 MFCS公司 以下为：76:1-76:14]]>https://dblp.org/rec/conf/mfcs/Cosme-LlopezP172017年1月1日，星期日00:00:00+0100 “单体、同余和形式语言的形成”勘误表。https://doi.org/10.7561/SACS.2016.123,,,以下为：
“单体、同余和形式语言的形成”勘误表。 科学。Ann.计算。科学。 26(1)以下为：123-124()]]>https://dblp.org/rec/journals/cuza/Ballester-Bolinches162016年1月1日，星期五00:00:00+0100 多种形态的艾伦伯格定理。http://arxiv.org/abs/1604.04792,以下为：
多种形态的艾伦伯格定理。 CoRR公司 abs/1604.04792()]]>https://dblp.org/rec/journals/corr/VidalC162016年1月1日，星期五00:00:00+0100 单体、同余和形式语言的形成。https://doi.org/10.7561/SACS.2015.171,,,以下为：
单体、同余和形式语言的形成。 科学。Ann.计算。科学。 25(2)以下为：171-209()]]>https://dblp.org/rec/journals/cuza/Ballester-Bolinches152015年1月1日星期四00:00:00+0100 自动机方程和等式的对偶等价。https://doi.org/10.1016/j.ic.2015.08.001,,以下为：
自动机方程和等式的对偶等价。 Inf.计算。 244以下为：49-75()]]>https://dblp.org/rec/journals/iandc/Ballester-Bolinches152015年1月1日星期四00:00:00+0100 自动机和等式的正则变体。https://doi.org/10.1007/978-3-319-19797-5_11,,,,以下为：
自动机和等式的正则变体。 MPC公司 以下为：224-237]]>https://dblp.org/rec/conf/mpc/SalamancaBBCR152015年1月1日星期四00:00:00+0100 基于最终非确定性自动机语言的描述。https://doi.org/10.1016/j.tcs.2014.01.018,,以下为：
一种基于最终非确定性自动机语言的描述。 西奥。计算。科学。 536以下为：1-20()]]>https://dblp.org/rec/journals/tcs/Ballester-BolinchesCE142014年1月1日星期三00:00:00+0100 语言的多样性和共多样性（扩展摘要）。https://doi.org/10.1016/j.entcs.2013.09.005,,以下为：
语言的多样性和共多样性（扩展摘要）。 MFPS公司 以下为：7-28]]>https://dblp.org/rec/journals/entcs/RuttenBC132013年1月1日星期二00:00:00+0100