Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
罗伊·戴克霍夫,圣埃芬·伦格兰.LJQ:直觉主义逻辑的一个强聚焦微积分.在阿诺德·贝克曼,乌尔里希·伯杰,Benedikt Löwe公司,约翰·V·塔克,编辑,计算障碍的逻辑方法,第二届欧洲可计算性会议,2006年CiE,英国斯旺西,2006年6月30日至7月5日,会议记录.第3988卷,共页计算机科学课堂讲稿,页173-185、斯普林格、,2006 [美国国防部]
缺少摘要。