编辑配置文件(在新选项卡中打开) 拉米亚,拉米亚 合著者距离 作者ID: 兰雅·兰雅 发布日期: 拉米亚,拉米亚 已编制索引的文档: 8出版物自2010年起 合著者: 6位合著者具有8联合出版物 164位合作作者 全部的 前5名合著者 0 单作者的 4 丹尼尔·莱万特(Daniel M.Leivant)。 2 马丁·霍夫曼 1 Samuel R.巴斯。 1 诺曼·丹纳 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 乌尔里希·舍普 系列 1 数学逻辑季刊(MLQ) 领域 7 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用19中的次17文件 引用人▼ 年份▼ 具有归纳类型的函数式语言的表示代价语义。 Zbl 1360.68323号 诺曼·丹纳;丹尼尔·李卡塔(Daniel R.Licata)。;拉米亚,拉米亚 9 2015 分枝共现和日志空间。 Zbl 1342.68139号 拉米亚,拉米亚;丹尼尔·利万特 5 2011 共归纳数据上的可行函数。 Zbl 1305.68088号 拉米亚,拉米亚;丹尼尔·利万特 2 2010 分支余流的计算内容。 Zbl 1459.68070号 丹尼尔·利万特;拉米亚,拉米亚 2 2015 纯指针程序和树同构。 Zbl 1260.68099号 马丁·霍夫曼;拉米亚,拉米亚;乌尔里希·舍普 1 2013 具有归纳类型的函数式语言的表示代价语义。 Zbl 1360.68323号 诺曼·丹纳;丹尼尔·李卡塔(Daniel R.Licata)。;拉米亚,拉米亚 9 2015 分支余流的计算内容。 Zbl 1459.68070号 丹尼尔·利万特;拉米亚,拉米亚 2 2015 纯指针程序和树同构。 Zbl 1260.68099号 马丁·霍夫曼;拉米亚,拉米亚;乌尔里希·舍普 1 2013 分枝共现和日志空间。 Zbl 1342.68139号 拉米亚,拉米亚;丹尼尔·利万特 5 2011 共归纳数据上的可行函数。 Zbl 1305.68088号 拉米亚,拉米亚;丹尼尔·利万特 2 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名31位作者引用 2 伊曼纽尔·海因里 2 达米亚诺·马扎 2 托比亚斯·尼普科 2 罗曼·佩乔 1 Attrapadung、Nuttapong 1 克莱门·奥伯特 1 乌尔里希·伯杰 1 布林科普,豪克 1 约翰·彼得·坎波拉三世 1 陈盛 1 库卡斯·扎伊卡 1 乌戈·达尔拉戈 1 诺曼·丹纳 1 马丁·埃尔维格 1 雨果·弗雷 1 马可·加博阿迪 1 迪帕克·加格 1 花冈、果一郎 1 詹·菲利普·霍夫曼 1 马修·霍洛普 1 丹尼尔·莱万特(Daniel M.Leivant)。 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 本杰明·利希特曼 1 瞿伟浩 1 拉米亚,拉米亚 1 酒井、玉树 1 乌尔里希·舍普 1 托马斯·塞勒 1 川崎捷瑞 1 Hideki Tsuiki 1 埃里克·沃尔金肖 全部的 前5名7篇连载文章中引用 三 函数编程杂志 2 计算机科学中的逻辑方法 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 在4个字段中引用 15 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文