编辑配置文件(在新选项卡中打开) 尤兰达奥尔特加购物中心 合著者距离 作者ID: 奥特加-马伦-约兰达 发布日期: 尤兰达奥尔特加购物中心 已编制索引的文档: 10出版物自1991年以来 合著者: 10位合著者具有10联合出版物 155位合作作者 全部的 前5名合著者 0 单作者的 6 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯 2 卢卡·埃特罗 2 伊格纳西奥·法布雷加斯 2 阿尔瓦罗·加西亚·佩雷斯 2 Anna Ingólfsdóttir 2 利迪亚·桑切兹·吉尔 1 戴维·德·弗鲁托斯·埃斯克里格 1 丽塔·勒根 1 Peña-Marí,里卡多 1 阿尔贝托·维尔德乔 系列 1 函数编程杂志 1 计算机科学中的逻辑方法 领域 10 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用25中的次23文件 引用人▼ 年份▼ Eden中的并行函数编程。 Zbl 1096.68018号 丽塔·勒根;尤兰达奥尔特加购物中心;佩尼亚·玛丽·里卡多 12 2005 使用Maude及其策略定义分析Eden语义的框架。 Zbl 1277.68104号 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;阿尔贝托·维尔德乔;尤兰达奥尔特加购物中心 7 2007 间接在惰性自然语义中的作用。 Zbl 1434.68295号 利迪亚·桑切兹·吉尔;伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;尤兰达奥尔特加购物中心 2 2015 惰性计算的自然语义的本地无名表示。 Zbl 1362.68036号 利迪亚·桑切兹·吉尔;伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;尤兰达奥尔特加购物中心 2 2012 时间观测的完整证明系统。 Zbl 0967.68512号 尤兰达奥尔特加购物中心;戴维·德·弗鲁托斯·埃斯克里格 1 1991 标称过程计算的规则格式。 Zbl 1442.68120号 卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心 1 2017 标称过程计算的规则格式。 Zbl 1442.68120号 卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心 1 2017 间接词在惰性自然语义中的作用。 Zbl 1434.68295号 利迪亚·桑切兹·吉尔;伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;尤兰达奥尔特加购物中心 2 2015 惰性计算的自然语义的本地无名表示。 Zbl 1362.68036号 利迪亚·桑切兹·吉尔;伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;尤兰达奥尔特加购物中心 2 2012 使用Maude及其策略定义分析Eden语义的框架。 Zbl 1277.68104号 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;阿尔贝托·维尔德乔;尤兰达奥尔特加购物中心 7 2007 Eden中的并行函数编程。 Zbl 1096.68018号 丽塔·勒根;尤兰达奥尔特加购物中心;佩尼亚·玛丽·里卡多 12 2005 时间观测的完整证明系统。 兹比尔0967.68512 尤兰达奥尔特加购物中心;戴维·德·弗鲁托斯·埃斯克里格 1 1991 所有引用出版物 前5名被引用出版物 全部的 前5名41位作者引用 6 马丁·奥列特,纳西索 6 阿尔贝托·维尔德乔 5 鲁宾·鲁比奥 4 丽塔·勒根 4 尤兰达奥尔特加购物中心 3 史蒂文·艾克 3 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯 3 何塞·梅塞盖尔·瓜伊塔 3 伊莎贝尔·皮塔 2 Horstmeyer,托马斯 2 奥列格·洛巴乔夫 1 卢卡·埃特罗 1 彼得·阿克滕 1 米盖尔·阿雷亚斯 1 乔斯特·伯特霍尔德 1 乔根·布兰特 1 约阿希姆·布雷特纳 1 吉姆·戴维斯 1 迪特尔,M。 1 弗朗西斯科·杜兰 1 圣地亚哥埃斯科瓦尔 1 伊格纳西奥·法布雷加斯 1 阿尔瓦罗·加西亚·佩雷斯 1 克莱门斯·格雷克 1 凯文·哈蒙德 1 Anna Ingólfsdóttir 1 彼得·科普曼 1 乌尔夫·莱斯 1 帕特里克·梅尔 1 格雷格·迈克尔森 1 马可·T·莫拉赞。 1 沃尔夫冈·雷西格 1 里卡多·罗查 1 鲁宾·鲁比奥 1 利迪亚·桑切兹·吉尔 1 施耐德(Steve A.Schneider)。 1 斯文·博多·舒尔茨 1 亚历克斯·沙法伦科 1 卡罗琳·塔尔科特。 1 菲尔·特林德。 1 马克·范·埃克伦 全部的 前5名7篇连载文章中引用 4 函数编程杂志 3 高阶和符号计算 3 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 国际并行程序设计杂志 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 在2个字段中引用 23 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文