卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔;吉赛尔·赖斯 直觉线性逻辑的ILLTP库。 (英语) Zbl 1486.03026号 Ehrhard,Thomas(ed.)等人,线性逻辑和应用中的线性与趋势联合国际研讨会论文集,线性-TLLA 2018,英国牛津,2018年7月7日至8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)第292、118-132页(2019年)。MSC公司:03B35型 68伏15 03楼52 03B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《电子》。程序。西奥。计算。科学。(EPTCS)292、118--132(2019年;Zbl 1486.03026) 全文: arXiv公司 链接
何兴兴;徐,杨;刘军;陈树伟 语言真值格值逻辑中α-锁解析方法的相容性。 (英语) Zbl 1255.03026号 软计算。 16,第4期,699-709(2012).MSC公司:03B35型 03B52号 68吨15 68层37 PDF格式BibTeX公司 XML格式引用 \textit{X.He}等人,《软计算》。16,第4号,699--709(2012;Zbl 1255.03026) 全文: DOI程序
迪迪埃·加米歇;大卫·J·派姆。 类型理论语言的校对:简介。 (英语) Zbl 0952.03006号 西奥。计算。科学。 232,编号1-2,5-53(2000).MSC公司:03B35型 03B15号机组 03财年03 68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}和\textit{D.J.Pym},Theor。计算。科学。232,编号1--2,5--53(2000;Zbl 0952.03006) 全文: DOI程序
伊利亚诺·塞维萨托;乔舒亚·霍达斯。;弗兰克·芬宁 线性逻辑证明搜索的高效资源管理。 (英语) Zbl 0958.03010号 西奥。计算。科学。 232,编号1-2,133-163(2000). 审核人:N.Zamov(喀山) MSC公司:03B35型 03楼52 68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人,Theor。计算。科学。232,编号1--2,133-163(2000;Zbl 0958.03010) 全文: DOI程序
D.加尔米奇。 线性逻辑和证明网构造中的连接方法。 (英语) Zbl 0951.03055号 西奥。计算。科学。 232,编号1-2,231-272(2000).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \文本{D.Galmiche},Theor。计算。科学。232,编号1--2,231--272(2000;Zbl 0951.03055) 全文: DOI程序
Jean-Yves玛丽恩 从可加线性逻辑的多重序列到自由格的判定过程。 (英语) Zbl 0933.03080号 西奥。计算。科学。 224,编号1-2,157-172(1999).MSC公司:03楼52 06B25号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \文本{J.-Y.马里恩},Theor。计算。科学。224,编号1--2,157-172(1999;Zbl 0933.03080) 全文: DOI程序
马修·斯通 在直觉推理中表示范围的。 (英语) 兹伯利0912.68188 西奥。计算。科学。 211,编号1-2,129-188(1999).MSC公司:68吨15 03B60号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Stone}。计算。科学。211,编号1--2,129--188(1999;Zbl 0912.68188) 全文: DOI程序
詹姆斯·哈兰德;大卫·皮姆 通过布尔约束进行资源分配(扩展抽象)。 (英语) Zbl 1422.03129号 William McCune(编辑),《自动扣除——CADE-14》。第十四届自动扣款国际会议,澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1249, 222-236 (1997).MSC公司:03楼52 03B35型 03B70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{J.Harland}和\textit{D.Pym},莱克特。票据计算。科学。1249、222--236(1997年;Zbl 1422.03129) 全文: DOI程序
克里茨,C。;H.曼特尔。;J.奥顿。;施密特,S。 线性逻辑中基于连接的证明结构。 (英语) Zbl 1430.03040号 William McCune(编辑),《自动扣除——CADE-14》。第十四届自动扣减国际会议,澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1249, 207-221 (1997).MSC公司:03B35型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Kreitz}等人,Lect。票据计算。科学。1249207-221(1997年;兹bl 1430.03040) 全文: DOI程序
文森特·达诺斯;Jean-Baptiste儒瓦内;哈罗德·谢林斯 一种新的解构逻辑:线性逻辑。 (英语) Zbl 0895.03023号 J.塞姆。日志。 62,第3期,755-807(1997). 审核人:G.Mints(斯坦福) MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}等人,J.Symb。日志。62,第3号,755--807(1997;Zbl 0895.03023) 全文: DOI程序
马提亚斯·巴兹;亚历山大·莱奇;理查德·扎克 具有时间间隔的一阶时序逻辑的完整性。 (英语) Zbl 0872.68171号 西奥。计算。科学。 160,编号1-2,241-270(1996).MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人,Theor。计算。科学。160,编号1--2,241--270(1996;Zbl 0872.68171) 全文: DOI程序 链接
塔内尔·塔米特 直觉逻辑的归结定理证明器。 (英语) Zbl 1412.68265号 McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1104, 2-16 (1996).MSC公司:68吨15 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Tammet},莱克特。票据计算。科学。1104,2--16(1996;Zbl 1412.68265) 全文: DOI程序
Jean-Baptiste儒瓦内;哈罗德·谢林克斯;洛伦佐·托尔托拉·德·法尔科 所有样式的强规范化\(\mathbf{LK}^\mathrm{tq}\)。 (英语) Zbl 1415.03056号 Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。1071, 226-243 (1996).MSC公司:05年3月 03B10号机组 03B15号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.儒瓦内}等人,莱克特。票据计算。科学。1071226--243(1996年;Zbl 1415.03056) 全文: DOI程序
迪迪埃·加米歇;盖·佩里尔 线性逻辑中的证明规范化。 (英语) Zbl 0815.03033号 西奥。计算。科学。 135,第1号,67-110(1994). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:05年3月 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}和\textit{G.Perrier},Theor。计算。科学。135,编号1,67--110(1994;Zbl 0815.03033) 全文: DOI程序 哈尔
格里戈里薄荷 一阶线性逻辑的分解演算。 (英语) Zbl 0793.03006号 J.逻辑语言信息。 2,第1号,59-83(1993). 审核人:G.Mints(斯坦福) MSC公司:03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},J.Logic Lang.Inf.2,No.1,59--83(1993;Zbl 0793.03006) 全文: DOI程序