编辑配置文件(在新选项卡中打开) 安德鲁·麦克里特 合著者距离 作者ID: 麦克莱特·安德鲁 发布日期: 安德鲁·麦克里特;安德鲁·麦克里特 外部链接: 管理程序 已编制索引的文档: 4出版物自2006年以来 合著者: 9合著者具有3联合出版物 60位合作作者 全部的 前5名合著者 1 单作者的 1 阿德尔·塔巴塔拜(Adl-Tabatabai),阿利·雷扎(Ali-Reza) 1 骑士,蒂姆 1 Neal Glew先生 1 维杰·梅农。 1 布莱恩·墨菲。 1 彼得森,叶 1 卡斯滕·舒尔曼 1 塔蒂亚娜·施佩斯曼 1 安德鲁·托尔马赫 系列 领域 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用11中的次10文件 引用人▼ 年份▼ 编译和执行垃圾收集语言的认证框架。 兹比尔1323.68136 安德鲁·麦克里特;蒂姆·骑士;安德鲁·托尔马赫 5 2010 元线性逻辑框架。 Zbl 1278.03061号 安德鲁·麦克里特;Schürmann,卡斯滕 4 2007 分离逻辑的实用策略。 Zbl 1252.68261号 安德鲁·麦克里特 2 2009 编译和执行垃圾收集语言的认证框架。 Zbl 1323.68136号 安德鲁·麦克里特;蒂姆·骑士;安德鲁·托尔马赫 5 2010 分离逻辑的实用策略。 Zbl 1252.68261号 安德鲁·麦克里特 2 2009 元线性逻辑框架。 Zbl 1278.03061号 安德鲁·麦克里特;卡斯滕·舒尔曼 4 2007 所有引用的出版物 前5名被引用出版物 全部的 前5名33位作者引用 2 大卫·卡切拉 2 德尔芬·德曼吉 2 苏雷什·贾甘纳森 2 玛格努斯·奥·米林。 2 古斯塔沃·佩特里 2 大卫·皮哈迪 2 碧姬·品特卡 2 维泰克,简 2 Yannick扎考斯基 1 西德尼·阿曼尼 1 陈子林 1 克雷斯波、胡安·曼努埃尔 1 贾里德·戴维斯 1 乔舒亚·邓菲尔德 1 艾米·费尔蒂(Amy P.Felty)。 1 Anthony C.J.福克斯。 1 艾娜·林·乔治斯 1 文森特·杰克逊 1 加布里埃尔·科妮莉亚·凯勒 1 格温·克莱恩 1 拉马纳·库马尔 1 塞萨尔·库茨 1 马可·曼托瓦尼 1 阿尔贝托·莫米利亚诺 1 阿加塔·穆拉夫斯卡 1 托比·默里 1 迈克尔·诺里什 1 奥康纳,利亚姆 1 肖恩·奥蒂斯 1 斯科特·欧文斯 1 克里斯汀·里兹卡拉 1 托马斯·D·休厄尔。 1 Tan,Yong Kiam先生 2篇连载文章中引用 2 自动推理杂志 2 函数编程杂志 在2个字段中引用 10 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 按年份列出的引文