编辑配置文件(在新选项卡中打开) 阿兰·弗里希 合著者距离 作者ID: 弗里希·阿莱恩 发布日期: 阿兰·弗里希 编入索引的文档: 9出版物自2003年起 合著者: 8位合著者具有7联合出版物 225位合作作者 全部的 前5名合著者 2 单作者的 5 朱塞佩·卡斯塔尼亚 2 维罗尼克·本扎肯 1 卢卡·卡德利 1 达里奥·科拉佐 1 马里亚纽拉州Dezani-Ciancaglini 1 埃利奥·乔瓦内蒂 1 细野县细野 1 横滨Motohama 系列 1 美国医学会杂志 领域 8 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用78中的次60文件 引用人▼ 年份▼ 贪婪的正则表达式匹配。 Zbl 1099.68769号 阿兰·弗里希;卢卡·卡德利 21 2004 CDuce:一种以XML为中心的通用语言。 Zbl 1315.68046号 维罗尼克·本扎肯;朱塞佩·卡斯塔尼亚;阿兰·弗里希 21 2003 语义子类型,从理论上处理集合的函数、并集、交集和否定类型。 Zbl 1325.68136号 阿兰·弗里希;朱塞佩·卡斯塔尼亚;维罗尼克·本扎肯 20 2008 对语义分型的温和介绍。 Zbl 1082.68581号 朱塞佩·卡斯塔尼亚;阿兰·弗里希 10 2005 语义子类型的相关性。 Zbl 1270.03043号 马里亚纽拉州Dezani-Ciancaglini;阿兰·弗里希;埃利奥·乔瓦内蒂;横滨Motohama 3 2003 OCaml+X产品。 Zbl 1321.68152号 阿兰·弗里希 2 2006 XML的参数多态性。 Zbl 1369.68141号 细野县细野;阿兰·弗里希;朱塞佩·卡斯塔尼亚 1 2005 语义子类型,从理论上处理集合的函数、并集、交集和否定类型。 Zbl 1325.68136号 阿兰·弗里希;朱塞佩·卡斯塔尼亚;维罗尼克·本扎肯 20 2008 OCaml+X减少。 Zbl 1321.68152号 阿兰·弗里希 2 2006 语义子类型的简单介绍。 Zbl 1082.68581号 朱塞佩·卡斯塔尼亚;阿兰·弗里希 10 2005 XML的参数多态性。 Zbl 1369.68141号 细野县细野;阿兰·弗里希;朱塞佩·卡斯塔尼亚 1 2005 贪婪的正则表达式匹配。 1099.68769兹比尔 阿兰·弗里希;卢卡·卡德利 21 2004 CDuce:一种以XML为中心的通用语言。 Zbl 1315.68046号 维罗尼克·本扎肯;朱塞佩·卡斯塔尼亚;阿兰·弗里希 21 2003 语义子类型的相关性。 Zbl 1270.03043号 马里亚纽拉州Dezani-Ciancaglini;阿兰·弗里希;埃利奥·乔瓦内蒂;横滨Motohama 3 2003 所有引用出版物 前5名被引用出版物 全部的 前5名106位作者引用 4 卢卡·帕多瓦尼 3 马丁·伯格伦德 3 安杰洛·博尔索蒂 3 卢卡·布雷维利里 3 朱塞佩·卡斯塔尼亚 3 克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano) 3 马里亚纽拉州Dezani-Ciancaglini 3 罗斯·霍恩 3 安杰洛·莫尔岑蒂 3 马丁·苏尔兹曼 3 布林克·范德梅尔 2 大卫·安科纳 2 菲利普·比尔 2 克利斯朵夫·卡尔维斯 2 加布里埃尔·乔巴努 2 玛丽贝尔·费尔南德斯 2 皮埃尔·杰奈夫耶斯 2 尼尔斯·盖斯伯特 2 西尔维娅·吉勒赞 2 Görtz,Inge Li 2 小林直树 2 科西莫·拉内夫 2 纳比尔·拉伊达 2 卢,肯尼·卓明 2 维姆·马滕斯 2 迈耶,罗伯特·肯尼斯 2 横滨Motohama 2 法兰克·奈文 2 佐藤奥奎 2 布鲁诺·C·d·S·奥利维拉。 2 约万卡·潘托维奇 2 弗拉迪米罗·萨松 2 阿尔切斯特·斯卡拉斯 2 铃木、太郎 2 城市,基督教 2 吉田、Nobuko 1 佩德罗·安吉洛 1 法哈德·奥萨夫 1 威廉·贝斯特 1 洛伦佐·贝蒂尼 1 加文·M·比尔曼。 1 维维亚娜·博诺 1 鲍尔斯,肖恩 1 萨缪尔·卡皮内蒂 1 陈海明 1 陈磊 1 卢卡·西科内 1 乔安·科斯塔·塞科 1 达斯,安库什 1 达斯,阿努帕姆 1 洛科·德尼古拉 1 亨利·德扬 1 罗伊·戴克霍夫 1 范安东 1 安吉洛·费兰多 1 安德烈·菲林斯基 1 马里奥弗洛里多 1 阿兰·弗里希 1 埃利奥·乔瓦内蒂 1 安德鲁·戈登。 1 马克·吉森 1 Hriţcu,科特林 1 我是宣城 1 斯维特拉纳·雅克西奇 1 Koichi Kodama公司 1 斯文·科勒 1 泽珊·拉哈尼 1 拉尔夫·拉梅尔 1 David E.Langworthy。 1 马丁·伦伯格 1 路易吉·利科里 1 雨果·卢伦索 1 伯特伦·卢德谢尔 1 维维亚娜·马斯卡迪 1 Minamide、Yasuhiko 1 安德烈亚·莫迪多 1 斯科特·欧文斯 1 Park,成宇 1 托马索·彼得鲁契亚尼 1 弗兰克·芬宁 1 Damien Pous 1 伊万·普罗基奇 1 Rinderknecht,基督徒 1 玉藤樱 1 阿兰·施密特 1 Seo、Jeongbong 1 杰里米·西克。 1 康拉德·斯林德 1 维奥里卡Sofrone-Stokkerman 1 斯特芬·斯塔布 1 克劳德·斯托尔泽 1 Kohei Suenaga公司 1 直市田口 1 彼得·蒂曼。 1 萨姆·托宾·霍施塔特 1 不,Hiroshi 1 丹尼尔·瓦拉卡 1 贝蒂·文内里 1 埃尔科·维瑟 1 尼克·沃兰斯基 …还有6位作者 全部的 前5名19篇连载文章中引用 6 理论计算机科学 4 函数编程杂志 3 信息学报 3 计算机与系统科学杂志 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 圣母院形式逻辑杂志 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 数学与人工智能年鉴 1 高阶和符号计算 1 应用逻辑杂志 在2个字段中引用 56 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 按年份列出的引文