胡安·克莱门特·维达尔
人员信息
SPARQL查询
优化列表
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 ) 2016 [i1] 胡安·克利蒙特·维达尔 , 恩里克·科斯梅·洛佩斯 :
多种形态的艾伦伯格定理。 CoRR公司 abs/1604.04792 ( 2016 ) 2010 【j4】 胡安·克利蒙特·维达尔 , Juan Soliveres Tur公司 :
多分类等式逻辑的句法和语义的双范畴框架。 数学报告。 日志。 45 : 37-95 ( 2010 ) [j3] 胡安·克莱门特·维达尔 , Juan Soliveres Tur公司 :
制度概念的两类概括。 Stud Logica公司 95 ( 三 ) : 301-344 ( 2010 )
2000 – 2009
2008 [注2] Juan Soliveres Tur公司 , 胡安·克莱门特·维达尔 :
Lindenbaum-Tarski的函数,图解解释,句子逻辑之间的伴随圆柱。 圣母院J.正式日志。 49 ( 2 ) : 185-202 ( 2008 ) 2006 [j1] 胡安·克莱门特·维达尔 , Juan Soliveres Tur公司 :
关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。 数学报告。 日志。 40 : 127-158 ( 2006 )