dblp:胡安·克莱门特·维达尔 https://dblp.org/pid/13/4887.html dblp个人页面RSS提要 2024年4月25日星期四02:48:51+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.pngdblp:胡安·克莱门特·维达尔https://dblp.org/pid/13/4887.html14451 从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。https://doi.org/10.48550/arXiv.2402.12051,:
从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。 CoRR公司 腹肌/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 许多排序编队的Eilenberg定理。http://arxiv.org/abs/1604.04792,:
多种形态的艾伦伯格定理。 CoRR公司 abs/1604.04792()]]>https://dblp.org/rec/journals/corr/VidalC162016年1月1日，星期五00:00:00+0100 多分类等式逻辑的句法和语义的双范畴框架。https://rml.tcs.uj.edu.pl/rml-45/03-气候.pdf,:
多分类等式逻辑的句法和语义的双范畴框架。 数学报告。日志。 45:37-95()]]>https://dblp.org/rec/journals/rml/VidalT102010年1月1日，星期五00:00:00+0100 制度概念的两类概括。https://doi.org/10.1007/s11225-010-9268-0,:
制度概念的两类概括。 Stud Logica公司 95(三):301-344()]]>https://dblp.org/rec/journals/Logica/VidalT102010年1月1日，星期五00:00:00+0100 Lindenbaum-Tarski的函数，图解解释，句子逻辑之间的伴随圆柱。https://doi.org/10.1215/00294527-2008-007,:
Lindenbaum-Tarski的函数，图解解释，句子逻辑之间的伴随圆柱。 圣母院J.正式日志。 49(2):185-202()]]>https://dblp.org/rec/journals/ndjfl/TurV082008年1月1日星期二00:00:00+0100 关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf,:
关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。 数学报告。日志。 40:127-158()]]>https://dblp.org/rec/journals/rml/VidalT062006年1月1日，星期日00:00:00+0100