Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
雷纳托·内维斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨,曼纽尔·马丁斯.逻辑的非对称组合是函数的:一个综述.在菲利普·詹姆斯,马库斯·罗根巴赫,编辑,代数开发技术的最新趋势-第23届IFIP WG 1.3国际研讨会,WADT 2016,Gregynog,英国,2016年9月21-24日,修订论文集.第10644卷计算机科学课堂讲稿,页39-55、斯普林格、,2016 [doi]
缺少摘要。