Twelf公司 swMATH ID: 6888 软件作者： Twelf项目；弗兰克·普芬宁（Frank Pfenning）；卡斯滕·舒尔曼 描述： Twelf是一种用于指定、实现和证明演绎系统（如编程语言和逻辑）属性的语言。使用Twelf的大型研究项目包括TALT类型的汇编语言、基本的校对代码系统和标准ML的类型安全证明。 主页： http://twelf.org/wiki/Main_Page 相关软件： Coq公司；伊莎贝尔/HOL；阿贝拉；伊莎贝尔；流行标志；白鲸；Nuprl公司；自动化；名义伊莎贝尔；PVS公司；毫升；HOL灯；特尤斯；精灵；德尔芬；米扎尔；HOL公司；混合的；贝德维尔；阿格达 引用于： 177文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 防吐温助理。 Zbl 1252.68263号卡斯滕·舒尔曼 2009 Twelf和Delphin：元逻辑框架中的逻辑和函数编程。 Zbl 1122.68391号卡斯滕·舒尔曼 2004 全部的 前5名192位作者引用 20 碧姬·品特卡 17 弗兰克·芬宁 16 弗洛里安·拉贝 11 卡斯滕·舒尔曼 9 米勒，戴尔·艾伦 8 迈克尔·科尔哈斯 7 富利亚·霍罗扎尔 6 安德烈亚斯·阿贝尔（Andreas M.Abel）。 6 安德鲁·W·阿佩尔。 6 艾米·费尔蒂（Amy P.Felty）。 5 罗伯特·哈珀 5 戈帕兰·纳达图尔 5 阿伦·斯塔姆 4 乍得·布朗·爱德华 4 卡尔·克里 4 乔舒亚·邓菲尔德 4 安德鲁·加塞克 4 阿尔贝托·莫米利亚诺 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 詹姆斯·切尼 三 Furio Honsell 三 Cezary卡利西克 三 路易吉·利古里 三 肖恩·麦克劳林 三 托比亚斯·尼普科 三 彼得·休厄尔 三 蒂姆·谢尔德 三 城市，基督教 三 斯蒂芬妮·威里奇 三 弗里克·威迪杰克 2 安德烈·鲍尔 2 斯特凡·伯格霍费尔 2 维南西奥·卡普雷塔 2 伊利亚诺·塞维萨托 2 米海·Codescu 2 罗伊·克罗。 2 大卫·L·迪尔。 2 简·赫尔曼·杰弗斯 2 Lee，Gyesik先生 2 玛丽娜·莱妮莎 2 泽维尔·勒罗伊 2 托梅尔·利巴尔 2 丹尼尔·李卡塔（Daniel R.Licata）。 2 蒂尔·莫萨科夫斯基 2 布鲁诺·C·d·S·奥利维拉。 2 斯科特·欧文斯 2 Pąk，卡罗尔 2 普雷特纳，马蒂亚 2 杰森·里德 2 西蒙·罗科普夫 2 萨卡，苏斯米特 2 伊万·斯卡格内托 2 安德斯·沙克·尼尔森 2 克里斯蒂娜·索贾科娃 2 亚历山大·斯蒂恩 2 杰夫·萨特克利夫 2 斯瓦迪，基达尔N。 2 杰弗里·沃什伯恩 2 弗朗西斯科·扎帕·纳德利 1 阿卡尔（Umut A.Acar）。 1 贝尼亚米·阿卡托利 1 罗宾·亚当斯 1 哈米达桑·艾哈迈德。 1 Joao Alpuim 1 纪尧姆·安巴尔 1 西蒙·安布勒。 1 佩妮·安德森 1 安德鲁斯，彼得·B·。 1 卡洛·安吉利 1 谢尔盖·奥特西尔 1 布莱恩·艾德米尔。 1 大卫·巴尔德 1 克拉克·W·巴雷特。 1 马克·比克福德 1 亚伦·博哈农 1 伯恩，彼得 1 詹姆斯·布罗瑟斯顿 1 弗朗索瓦·布里 1 William E.伯德。 1 安德鲁·凯夫 1 詹姆斯·查普曼（James T.E.Chapman）。 1 陈志波 1 扎卡里亚·奇哈尼 1 成坤·赵 1 马蒂奥·奇米尼 1 克里斯托弗·科尔比 1 罗伯特·李，警察 1 可口、蒂埃里 1 特里斯坦·克罗拉德 1 大卫·德拉哈耶 1 埃里克·德普拉涅 1 阿泽·迪杰斯特拉 1 罗伯特·多金斯 1 凯瑟琳·杜布瓦 1 Besik Dundua 1 彼得·戴比杰 1 理查德·艾森伯格。 1 雅各布·埃林顿 1 Fairbairn，Matthew W。 1 Kayvon Fatahalian …还有92位作者 全部的 前5名17篇连载文章中引用 20 自动推理杂志 7 函数编程杂志 7 ACM计算逻辑事务 6 计算机科学中的逻辑方法 5 逻辑程序设计理论与实践 4 理论计算机科学 4 信息与计算 2 逻辑与计算杂志 2 MSCS公司。计算机科学中的数学结构 2 应用逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 Indagationes Mathematicae公司。新系列 1 数学与人工智能年鉴 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 泛逻辑 全部的 前5名在6个字段中引用 164 计算机科学（68至XX） 89 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 范畴理论；同调代数（18-XX） 1 代数拓扑（55-XX） 1 量子理论（81-XX） 按年份列出的引文