编辑配置文件(在新选项卡中打开) 泽纳·M·阿里奥拉。 合著者距离 作者ID: 阿里奥拉·泽纳(ariola.zena-m) 发布日期: 泽纳·M·阿里奥拉。;泽纳·阿里奥拉 外部链接: MGP公司 已编制索引的文档: 36出版物自1993年起 1名编辑贡献 合著者: 19位合著者具有34联合出版物 350位合作作者 全部的 前5名合著者 三 单作者的 16 保罗·唐恩 7 雨果·赫贝林 5 扬·威廉·克鲁普 5 阿穆尔·萨布里 4 菲利普·约翰森·弗雷德 三 斯特凡·布隆 2 西蒙·琼斯(Simon L.Peyton Jones)。 2 丰满,细节 2 亚历克西斯·索林 1 阿尔文德 1 de Vries,Fer Jan J。 1 费莱森,马蒂亚斯 1 西尔维娅·吉勒赞 1 理查德·肯纳韦 1 卢克·莫雷尔 1 Keiko Nakata 1 睡觉,罗南 1 沙利文,扎卡里 1 肖勇 全部的 前5名系列 5 函数编程杂志 三 高阶和符号计算 2 信息与计算 1 理论计算机科学 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 纯逻辑与应用逻辑年鉴 1 工程、通信和计算中的应用代数 1 计算机基础理论 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 1 程序设计中的逻辑和代数方法杂志 领域 35 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用198中的次126文件 引用人▼ 年份▼ 等式项图重写。 Zbl 0854.68049号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普 35 1996 调用需要lambda演算。 Zbl 0887.68007号 泽纳·M·阿里奥拉。;费莱森,马蒂亚斯 27 1997 最小经典逻辑和控制运算符。 Zbl 1039.03019号 泽纳·M·阿里奥拉。;雨果·赫贝林 16 2003 具有显式递归的Lambda微积分。 Zbl 0892.68015号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普 16 1997 斜汇流和lambda演算与letrec。 Zbl 1019.03011号 泽纳·M·阿里奥拉。;斯特凡·布隆 13 2002 失败延续的证明理论基础。 Zbl 1128.68089号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 10 2007 具有共享的一阶函数语言的属性。 Zbl 0873.68016号 泽纳·M·阿里奥拉。;阿尔文德 8 1995 术语图重写中的双相似性。 Zbl 1045.68590号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普;丰满,细节 7 2000 循环lambda结石。 Zbl 0884.03008号 泽纳·M·阿里奥拉。;斯特凡·布隆 7 1997 经典的召唤需求和二元性。 Zbl 1331.68041号 泽纳·M·阿里奥拉。;雨果·赫贝林;亚历克西斯·索林 6 2011 延续和提示的类型理论基础。 Zbl 1323.68090号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 6 2004 未定义的句法定义:关于未定义的定义。 Zbl 0942.03511号 泽纳·阿里奥拉;理查德·肯纳韦;扬·威廉·克鲁普;睡觉,罗南;德弗里斯,Fer-Jan 5 1994 从句法理论到解释器:自动证明唯一分解。 Zbl 1051.68101号 肖勇;阿穆尔·萨布里;泽纳·M·阿里奥拉。 5 2001 控制减少理论:结构替代的好处。 Zbl 1138.68020号 泽纳·M·阿里奥拉。;雨果·赫贝林 4 2008 限定延续的类型理论基础。 Zbl 1213.68187号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 4 2009 建筑的二重性。 Zbl 1405.68079号 保罗·唐恩;泽纳·M·阿里奥拉。 4 2014 通过Böhm模型重写关联图和术语。 Zbl 0855.68049号 泽纳·M·阿里奥拉。 三 1996 双相似项图的合流重写。 Zbl 0911.68090号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普;丰满,细节 三 1997 使用多个提示进行分隔控制的系统方法。 Zbl 1352.68041号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2012 限定的控制和计算效果。 Zbl 1297.68048号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2014 可组合延续的组合语义:从中止到分隔控件。 Zbl 1345.68046号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2014 结构递归的结构。 Zbl 1360.68361号 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 2 2015 序列演算作为编译器的中间语言。 Zbl 1360.68326号 保罗·唐恩;卢克·莫雷尔;泽纳·M·阿里奥拉。;西蒙·佩顿·琼斯 2 2016 超越极性:走向多学科的中间语言与共享。 兹比尔1528.68062 保罗·唐恩;泽纳·M·阿里奥拉。 2 2018 经典计算的强归一化抽象模型。 Zbl 1494.68055号 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 2 2020 Skew和\(\omega\)-Skew融合和抽象Böhm语义。 Zbl 1171.68506号 泽纳·M·阿里奥拉。;斯特凡·布隆 1 2005 一元状态的正确性:一个命令式的按需调用演算。 Zbl 0925.68292号 泽纳阿里奥拉;阿穆尔·萨布里 1 1997 经典的按需顺序计算:语义假象的统一。 Zbl 1354.68043号 泽纳·M·阿里奥拉。;保罗·唐恩;雨果·赫贝林;Keiko Nakata;亚历克西斯·索林 1 2012 经典交并类型的二重性。 Zbl 1446.03034号 保罗·唐恩;泽纳·M·阿里奥拉。;西尔维娅·吉勒赞 1 2019 多学科计算的统一强规范化。 Zbl 1517.68068号 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 1 2018 经典计算的强归一化抽象模型。 Zbl 1494.68055号 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 2 2020 经典交并类型的二重性。 Zbl 1446.03034号 保罗·唐恩;泽纳·M·阿里奥拉。;西尔维娅·吉勒赞 1 2019 超越极性:走向多学科的中间语言与共享。 Zbl 1528.68062号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2018 多学科计算的统一强规范化。 Zbl 1517.68068号 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 1 2018 序列演算作为编译器的中间语言。 Zbl 1360.68326号 保罗·唐恩;卢克·莫雷尔;泽纳·M·阿里奥拉。;西蒙·佩顿·琼斯 2 2016 结构递归的结构。 Zbl 1360.68361号 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 2 2015 建筑的二重性。 Zbl 1405.68079号 保罗·唐恩;泽纳·M·阿里奥拉。 4 2014 分隔控制和计算效果。 Zbl 1297.68048号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2014 可组合延续的组合语义:从中止控件到定界控件。 Zbl 1345.68046号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2014 使用多个提示进行分隔控制的系统方法。 Zbl 1352.68041号 保罗·唐恩;泽纳·M·阿里奥拉。 2 2012 经典的按需顺序计算:语义假象的统一。 Zbl 1354.68043号 泽纳·M·阿里奥拉。;保罗·唐恩;雨果·赫贝林;Keiko Nakata;亚历克西斯·索林 1 2012 经典的召唤需求和二元性。 Zbl 1331.68041号 泽纳·M·阿里奥拉。;雨果·赫贝林;亚历克西斯·索林 6 2011 定界连续体的类型理论基础。 Zbl 1213.68187号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 4 2009 控制减少理论:结构替代的好处。 Zbl 1138.68020号 泽纳·M·阿里奥拉。;雨果·赫贝林 4 2008 失败延续的证明理论基础。 Zbl 1128.68089号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 10 2007 Skew和\(\omega\)-Skew融合和抽象Böhm语义。 兹比尔1171.68506 泽纳·M·阿里奥拉。;斯特凡·布隆 1 2005 延续和提示的类型理论基础。 Zbl 1323.68090号 泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 6 2004 最小经典逻辑和控制运算符。 Zbl 1039.03019号 泽纳·M·阿里奥拉。;雨果·赫贝林 16 2003 斜汇流和lambda演算与letrec。 Zbl 1019.03011号 泽纳·M·阿里奥拉。;斯特凡·布隆 13 2002 从句法理论到解释器:自动证明唯一分解。 Zbl 1051.68101号 肖勇;阿穆尔·萨布里;泽纳·M·阿里奥拉。 5 2001 术语图重写中的双相似性。 Zbl 1045.68590号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普;丰满,细节 7 2000 调用需要lambda演算。 Zbl 0887.68007号 泽纳·M·阿里奥拉。;费莱森,马蒂亚斯 27 1997 带有显式递归的Lambda演算。 Zbl 0892.68015号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普 16 1997 循环lambda计算。 Zbl 0884.03008号 泽纳·M·阿里奥拉。;斯特凡·布隆 7 1997 双相似项图的合流重写。 Zbl 0911.68090号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普;丰满,细节 三 1997 一元状态的正确性:一个命令式的按需调用演算。 兹伯利0925.68292 泽纳·阿里奥拉;阿穆尔·萨布里 1 1997 等式项图重写。 Zbl 0854.68049号 泽纳·M·阿里奥拉。;扬·威廉·克鲁普 35 1996 通过Böhm模型重写关联图和术语。 Zbl 0855.68049号 泽纳·M·阿里奥拉。 三 1996 具有共享的一阶函数语言的属性。 Zbl 0873.68016号 泽纳·M·阿里奥拉。;阿尔文德 8 1995 未定义的语法定义:关于未定义的定义。 Zbl 0942.03511号 泽纳阿里奥拉;理查德·肯纳韦;扬·威廉·克鲁普;睡觉,罗南;德弗里斯,Fer-Jan 5 1994 所有引用出版物 前5名被引用出版物 全部的 前5名被173位作者引用 15 泽纳·M·阿里奥拉。 8 扬·威廉·克鲁普 7 曼弗雷德·施密特·沙乌 6 奥利维尔·丹维 6 保罗·唐恩 5 雨果·赫贝林 5 迪莉娅·凯斯纳 5 大卫·萨贝尔 4 别尔纳卡,马乌戈扎塔 4 Dariusz Biernacki 4 约尔格恩德鲁利斯 4 埃琳娜·祖卡 三 安德里亚·科拉迪尼 三 法比奥·加杜奇 三 简·赫尔曼·杰弗斯 三 迪米特里·亨德里克斯 三 阿穆尔·萨布里 三 亚历克西斯·索林 三 伊恩·泽尼 2 贝尼亚米·阿卡托利 2 毛里西奥·阿亚拉·林科恩 2 保罗·巴尔丹 2 艾米莉·巴拉德 2 克拉拉·贝托利西 2 斯特凡·布隆 2 爱德华多·博内利 2 多米尼克·杜瓦尔 2 瑞希德·埃哈希德 2 玛丽贝尔·费尔南德斯 2 克莱门斯,抓斗手 2 Makoto滨那 2 汤姆·赫肖维茨 2 托尼·赫肯斯 2 菲利普·约翰森·弗雷德 2 塞尔盖·伦格利特 2 比约恩·利斯特 2 埃琳娜·马奇卡索娃 2 凯文·米利金 2 阿尔贝托·奈博 2 Lasse R.尼尔森。 2 埃诺·奥勒布什 2 洛伊茨佩罗 2 丰满,细节 2 彼得·波列修克 2 普罗斯特、弗雷德里克 2 马可·舒茨 2 马可·塞韦托 2 彼得·休厄尔 2 Shan、Chung-chieh 2 弗朗索瓦·雷吉斯·西诺 2 范·贝克尔,斯特芬 2 丹尼尔·利马·文图拉 2 皮埃尔小瓶 2 安德烈斯·维索 1 桑德拉·阿尔维斯 1 大卫·安科纳 1 塞尔吉奥·安托伊 1 高仁青藤 1 阿尔文德 1 川崎朝田 1 帕特里克·巴尔 1 亨德里克·彼得·巴伦德雷格特 1 布鲁诺·巴拉斯 1 佩特尔·巴蒂亚尼 1 亚历山大·鲍姆加特纳 1 加文·M·比尔曼。 1 Tour男孩,蒂埃里 1 保罗·布劳纳 1 罗伯托·布鲁尼 1 路易斯·凯雷斯 1 安德烈亚·卡普里奇奥利 1 朱塞佩·卡斯塔尼亚 1 维托尔德·查拉托尼克 1 陈志波 1 霍雷修·西尔斯泰 1 de Vries,Fer Jan J。 1 纳鸿·德肖维茨 1 胡安·埃迪 1 勒文特·埃尔科克 1 克劳迪娅·法根 1 索尼娅·法戈齐 1 塞巴斯蒂安·费舍尔 1 马里奥弗洛里多 1 杰伦、布拉姆 1 保拉·吉安尼尼 1 维克多·戈麦斯。 1 朱利奥·格雷里 1 长谷川、Masahito 1 安德烈·赫肖维茨 1 保罗·D·霍夫兰。 1 海兰德·J·马丁·E·。 1 伊利克、丹科 1 贝内代托·恩特里吉拉 1 保拉·因弗拉迪 1 马莫鲁·石冢 1 阿里亚州Isihara 1 木内弘岩美 1 安迪·乔斯特 1 让-皮埃尔·茹安瑙 1 Wolfram卡尔 …还有73位作者 全部的 前5名14篇连载文章中引用 16 理论计算机科学 10 函数编程杂志 9 计算机科学中的逻辑方法 7 高阶和符号计算 6 信息与计算 4 MSCS公司。计算机科学中的数学结构 4 RAIRO公司。理论信息学及其应用 三 纯逻辑与应用逻辑年鉴 三 程序设计中的逻辑和代数方法杂志 2 Studia Logica公司 1 信息处理信件 1 符号逻辑杂志 1 工程、通信和计算中的应用代数 1 逻辑程序设计理论与实践 在5个字段中引用 112 计算机科学(68至XX) 40 数学逻辑和基础(03-XX) 6 范畴理论;同调代数(18-XX) 2 总体主题;集合(00-XX) 1 数值分析(65-XX) 按年份列出的引文