阿诺·阿夫隆;Furio Honsell;马里诺·米库兰;克里斯蒂安·帕拉瓦诺 在逻辑框架中编码模态逻辑。 （英语） Zbl 0954.03021号 螺柱日志。 60，第1期，161-208（1998）.MSC公司：03B45 03B35型 03B40型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}等人，研究日志。60，第1号，161--208（1998；Zbl 0954.03021） 全文： 内政部
Necula，George C。;李，彼得 有效表示和验证证明。 （英语） Zbl 0945.03527号 第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。93-104 (1998).MSC公司：03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.C.Necula}和\textit{P.Lee}，in：第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳州印第安纳波利斯举行。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。93-104（1998年；兹bl 0945.03527）
Laurent Théry Buchberger算法的认证版本。 （英语） Zbl 0924.03025号 Kirchner，Claude（编辑）等人，《自动扣除-CADE-15》。第15届国际会议，1998年7月5日至10日，德国林道。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1421, 349-364 (1998).MSC公司：03B35型 第68页第15页 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{L.Théry}，莱克特。注释计算。科学。1421、349--364（1998年；Zbl 0924.03025）
卡尔·克里 不动点归纳对分部类型的可接受性。 （英语） Zbl 0924.03019号 Kirchner，Claude（编辑）等人，《自动扣除-CADE-15》。第15届国际会议，1998年7月5日至10日，德国林道。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1421, 270-285 (1998).MSC公司：03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Crary}，莱克特。注释计算。科学。1421，270--285（1998；Zbl 0924.03019）
沃尔夫冈·纳拉斯切夫斯基;托比亚斯·尼普科 已验证类型推断：Isabelle/HOL中的算法\（{mathcal W}\）。 （英语） Zbl 0927.03025号 Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国Aussois，国际研讨会TYPES’96。精选论文。柏林：施普林格。莱克特。注释计算。科学。1512, 317-332 (1998).MSC公司：03B35型 03B40型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Naraschewski}和\textit{T.Nipkow}，莱克特。注释计算。科学。1512317-332（1998年；Zbl 0927.03025）
费卢西奥·达米亚尼;普罗斯特、弗雷德里克 使用秩2交集检测并删除死码。 （英语） Zbl 0927.03050号 Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国Aussois，国际研讨会TYPES’96。精选论文。柏林：施普林格。莱克特。注释计算。科学。1512, 66-87 (1998).MSC公司：03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛F.Damiani｝和\textit｛F.Prost｝，Lect。注释计算。科学。1512，66--87（1998；Zbl 0927.03050）
布鲁诺·巴拉斯 验证Coq中小型验证系统的接口。 （英语） Zbl 0927.03018号 Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国Aussois，国际研讨会TYPES’96。精选论文。柏林：施普林格。莱克特。注释计算。科学。1512, 28-45 (1998).MSC公司：03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{B.Barras}，莱克特。注释计算。科学。1512，28-45（1998；Zbl 0927.03018）
阿列克西·诺沃德沃斯基;阿列克西·斯米尔诺夫 通用交互式证明搜索的外壳。 （英语） Zbl 0955.03503号 J.应用。非类别。日志。 8，编号1-2，123-140（1998）.MSC公司：03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Novodvorsky}和\textit{A.Smirnov}，J.Appl。非类别。日志。8，编号1--2，123-140（1998；Zbl 0955.03503） 全文： 内政部
巴勃罗·阿尔贡;奥利维尔·鲁克斯 使用形式化方法开发反应系统的一些问题。 （英语） Zbl 0915.68022号 电子。J.萨迪奥 第1期，第52-75页（1998年）.MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Argón}和\textit{O.Roux}，电子。J.SADIO 1，第1期，52--75（1998；Zbl 0915.68022） 全文： 欧洲DML EMIS公司
雅克·查扎兰;谢尔盖·穆勒 根据逻辑规范自动合成递归程序。 （英语） Zbl 0912.68189号 J.汽车。推理 21，第2期，233-275（1998年）.MSC公司：第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Chazarain}和\textit{S.Muller}，J.Autom。推理21，No.2，233--275（1998；Zbl 0912.68189） 全文： 内政部
弗兰克·芬宁;卡斯滕·舒尔曼 存在符号定义时的等式和统一算法。 （英语） Zbl 0917.68200号 Galmiche，Didier（编辑），类型理论语言中的证明搜索研讨会（结合CADE-15会议），德国林道，1998年7月5日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。17，电子文件第7号（1998年）。MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}和\textit{C.Schurmann}，in：类型理论语言中的证明搜索研讨会（与CADE-15会议联合），德国林道，1998年7月5日。阿姆斯特丹：爱思唯尔。第7号电子文件（1998；Zbl 0917.68200） 全文： 链接
Jean-Pierre Jouannaud 成员方程逻辑、归纳指令演算和重写逻辑。（扩展摘要）。 （英语） Zbl 0917.68118号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第8号电子文件（1998年）。MSC公司：2012年第68季度 68问题55 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}，in：I第二届重写逻辑及其应用国际研讨会，RWLW。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。第8号电子文件（1998；Zbl 0917.68118） 全文： 链接
罗伯特·康斯特布尔。 关于构造型理论中归纳类复杂性测度的一个注记。 （英语） 兹伯利0916.03039 Inf.计算。 143，第2期，137-153（1998）. 审核人：M.霍夫曼 MSC公司：35楼03号 2015年3月1日 2015年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}，信息计算。143，编号2，137--153（1998；Zbl 0916.03039） 全文： 内政部
爱德华多·吉梅内斯（编辑）;克里斯汀·保林·莫林（编辑） 校样和程序的类型。1996年12月15日至19日，法国Aussois，国际研讨会TYPES’96。精选论文。 （英语） Zbl 0898.00024号 计算机科学课堂讲稿. 1512. 柏林：施普林格。viii，373页，82.00德国马克；öS 599.00；法语。75.00；£31.50; $ 44.35 (1998).MSC公司：00B25型 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Giménez}（编辑）和\textit{C.Paulin-Mohring}（主编），证明和程序的类型。1996年12月15日至19日，法国奥索瓦举行的“96型国际研讨会”。精选论文。柏林：施普林格（1998；Zbl 0898.00024）
伊恩·斯塔克 名称、方程式、关系：推理（新）的实用方法。 （英语） Zbl 0902.68027号 安索克数学。政策。，序列号。四、 芬丹。信息。 33，第4号，369-396（1998）.MSC公司：68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{I.Stark}，安.社会数学。政策。，序列号。四、 芬丹。Inf.33，No.4，369--396（1998；Zbl 0902.68027）