恩里克·科斯梅·洛佩斯
人员信息
优化列表
2020年–今天
2024 [i3] 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 :
从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。 CoRR公司 abs/2402.12051 ( 2024 ) 2023 [j7] 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 :
施密特结构的功能性。 日志。 J.IGPL公司 31 ( 5 ) : 822-893 ( 2023 ) 2020 [j6] 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 :
自由多分类代数可识别性定理的基于同余的证明。 J.日志。 计算。 30 ( 2 ) : 561-633 ( 2020 )
2010 – 2019
2018 [j5] 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 :
有限多分类代数的超积的超限多分类代数何时收缩? 日志。 J.IGPL公司 26 ( 4 ) : 381-407 ( 2018 ) [i2] 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 :
自由多分类代数可识别性定理的基于同余的证明。 CoRR公司 abs/1808.08217 ( 2018 ) 2017 【c3】 恩里克·科斯梅·洛佩斯 , 达米安·普斯 :
作为自由代数的K4-自由图。 多功能控制系统 2017 : 76:1-76:14 2016 【j4】 阿道夫芭蕾舞表演 , 恩里克·科斯梅·洛佩斯 , 拉蒙·埃斯特班·罗梅罗 , Jan J.M.M.鲁滕 :
“单体、同余和形式语言的形成”勘误表。 科学。 Ann.计算。 科学。 26 ( 1 ) : 123-124 ( 2016 ) [i1] 胡安·克莱门特·维达尔 , 恩里克·科斯梅·洛佩斯 :
多种形态的艾伦伯格定理。 CoRR公司 abs/1604.04792 ( 2016 ) 2015 [j3] 阿道夫芭蕾舞团 , 恩里克·科斯梅·洛佩斯 , 雷蒙·埃斯特班·罗梅罗 , Jan J.M.M.鲁滕 :
单体、同余和形式语言的形成。 科学。 Ann.计算。 科学。 25 ( 2 ) : 171-209 ( 2015 ) [注2] 阿道夫芭蕾舞表演 , 恩里克·科斯梅·洛佩斯 , Jan J.M.M.鲁滕 :
自动机方程和等式的对偶等价。 Inf.计算。 244 : 49-75 ( 2015 ) 【c2】 朱利安·萨拉曼卡 , 阿道夫芭蕾舞表演 , 马塞洛·M·邦桑格 , 恩里克·科斯梅·洛佩斯 , Jan J.M.M.鲁滕 :
自动机和等式的正则变体。 MPC公司 2015 : 224-237 2014 [j1] 阿道夫芭蕾舞表演 , 恩里克·科斯梅·洛佩斯 , 雷蒙·埃斯特班·罗梅罗 :
基于最终非确定性自动机语言的描述。 西奥。 计算。 科学。 536 : 1-20 ( 2014 ) 2013 【c1】 简·鲁顿 , 阿道夫芭蕾舞表演 , 恩里克·科斯梅·洛佩斯 :
语言的多样性和共多样性(扩展摘要)。 MFPS公司 2013 : 7-28