编辑配置文件（在新选项卡中打开） Dariusz Biernacki 合著者距离 作者ID： 比尔纳奇·达鲁什 发布日期： Dariusz Biernacki 外部链接： MGP公司 已编制索引的文档： 24出版物自2004年以来 合著者： 12位合著者具有24联合出版物 163联合作者 全部的 前5名合著者 0 单作者的 13 塞尔盖·伦格利特 10 彼得·波列修克 5 马·戈扎塔·比尔纳卡 5 奥利维尔·丹维 2 安德烈斯·阿里斯蒂扎巴尔 2 马雷克·马特佐克 2 Shan、Chung-chieh 1 马西耶·巴斯卡 1 维托尔德·查拉托尼克 1 托马斯·德拉布 1 Damien Pous 1 阿兰·施密特 系列 5 计算机科学中的逻辑方法 1 信息处理信件 1 计算机程序设计科学 1 函数编程杂志 领域 24 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用75中的次32文件 引用人▼ 年份▼ CPS层次结构中分隔延续的操作基础。 Zbl 1125.68050号 马·戈扎塔·比尔纳卡;Dariusz Biernacki;奥利维尔·丹维 14 2005 子类型分隔的延续。 Zbl 1323.68081号 马雷克·马特佐克;Dariusz Biernacki 7 2011 通过非功能化从解释器到逻辑引擎。 Zbl 1099.68546号 Dariusz Biernacki;奥利维尔，丹维 7 2004 关于定界控制的民间传说定理的简单证明。 Zbl 1092.68021号 Dariusz Biernacki;奥利维尔·丹维 6 2006 关于定界连续的静态和动态范围。 Zbl 1101.68442号 达柳斯·比尔纳茨基;奥利维尔·丹维;Shan，Chung-Chieh公司 5 2006 带动态提示生成的定界控制运算符的环境互模拟。 Zbl 1421.68009号 安德雷斯·阿里斯蒂扎巴尔;Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 4 2017 关于定界连续的动态范围。 Zbl 1191.68157号 Dariusz Biernacki;奥利维尔·丹维;Shan，Chung-Chieh公司 三 2005 基于上下文的方法来证明评估的终止。 Zbl 1337.68061号 马·戈扎塔·比尔纳卡;Dariusz Biernacki 三 2009 限定控制操作员的环境模拟。 Zbl 1421.68010号 Dariusz Biernacki;塞尔盖·伦格利特 三 2013 状态的完全正规形式相似性。 Zbl 1524.68209号 Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 三 2019 带动态提示生成的定界控制运算符的环境互模拟。 Zbl 1388.68021号 安德烈斯·阿里斯蒂扎巴尔;Dariusz Biernacki;朗格莱，塞尔盖伊;彼得·波列修克 三 2016 定界控制运算符的范式互模拟。 Zbl 1354.68044号 Dariusz Biernacki;塞尔盖·伦格利特 三 2012 定界控制运算符的适用互模拟。 Zbl 1352.68037号 Dariusz Biernacki;塞尔盖·伦格利特 2 2012 证明伸展正常形态双相似性的可靠性。 Zbl 1421.68011号 达柳斯·比尔纳茨基;塞尔盖·伦格利特;彼得·波列修克 2 2019 效果子类型连贯性的逻辑关系。 Zbl 1398.68080号 Dariusz Biernacki;彼得·波列修克 2 2018 按值进行强调用的抽象机器。 Zbl 1476.68047号 马·戈扎塔·比尔纳卡;Dariusz Biernacki;维托尔德·查拉托尼克;托马斯·德拉布 2 2020 效果子类型连贯性的逻辑关系。 Zbl 1367.68059号 Dariusz Biernacki;彼得·波列修克 1 2015 call-by-name和call-by-value\（\lambda\mu\）-calculus的适用相似性。 Zbl 1337.68056号 Dariusz Biernacki;塞尔盖·伦格利特 1 2014 定界控制运算符的相互模拟。 Zbl 1421.68012号 Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 1 2019 用控制运算符证明系统F的评估终止。 兹比尔1471.68055 马·戈扎塔·比尔纳卡;Dariusz Biernacki;塞尔盖·伦格利特;马雷克·马特佐克 1 2013 证明伸展正常形态双相似性的可靠性。 Zbl 1525.68023号 达柳斯·比尔纳茨基;塞尔盖·伦格利特;彼得·波列修克 1 2018 通过抽象机在HOcore中对\（\lambda\）-演算进行完全抽象编码。 Zbl 1452.03041号 别尔纳卡，马乌戈扎塔;Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克;Damien Pous;阿兰·施密特 1 2017 按值进行强调用的抽象机器。 Zbl 1476.68047号 马·戈扎塔·比尔纳卡;Dariusz Biernacki;维托尔德·查拉托尼克;托马斯·德拉布 2 2020 状态的完全正规形式相似性。 Zbl 1524.68209号 Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 三 2019 证明伸展正常形态双相似性的可靠性。 Zbl 1421.68011号 Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 2 2019 定界控制运算符的相互模拟。 Zbl 1421.68012号 Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 1 2019 效果分型连贯性的逻辑关系。 Zbl 1398.68080号 Dariusz Biernacki;彼得·波列修克 2 2018 证明伸展正常形态双相似性的可靠性。 Zbl 1525.68023号 达柳斯·比尔纳茨基;塞尔盖·伦格利特;彼得·波列修克 1 2018 带动态提示生成的定界控制运算符的环境互模拟。 Zbl 1421.68009号 安德烈斯·阿里斯蒂扎巴尔;达柳斯·比尔纳茨基;塞尔盖·伦格利特;彼得·波列修克 4 2017 通过抽象机在HOcore中对\（\lambda\）-演算进行完全抽象编码。 Zbl 1452.03041号 马·戈扎塔·比尔纳卡;Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克;Damien Pous;阿兰·施密特 1 2017 带动态提示生成的定界控制运算符的环境互模拟。 Zbl 1388.68021号 安德烈斯·阿里斯蒂扎巴尔;Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 三 2016 效果子类型连贯性的逻辑关系。 Zbl 1367.68059号 Dariusz Biernacki;彼得·波列修克 1 2015 call-by-name和call-by-value\（\lambda\mu\）-calculus的适用相似性。 Zbl 1337.68056号 Dariusz Biernacki;塞尔盖·伦格利特 1 2014 限定控制操作员的环境模拟。 兹比尔1421.68010 Dariusz Biernacki;塞尔盖·伦格利特 三 2013 用控制运算符证明系统F的评估终止。 Zbl 1471.68055号 马·戈扎塔·比尔纳卡;Dariusz Biernacki;朗格莱，塞尔盖伊;马雷克·马特佐克 1 2013 定界控制运算符的范式互模拟。 Zbl 1354.68044号 Dariusz Biernacki;朗格莱，塞尔盖伊 三 2012 定界控制运算符的适用互模拟。 Zbl 1352.68037号 Dariusz Biernacki;塞尔盖·伦格利特 2 2012 子类型分隔的延续。 Zbl 1323.68081号 马雷克·马特佐克;Dariusz Biernacki 7 2011 基于上下文的方法来证明评估的终止。 Zbl 1337.68061号 马·戈扎塔·比尔纳卡;Dariusz Biernacki 三 2009 关于定界控制的民间传说定理的简单证明。 Zbl 1092.68021号 Dariusz Biernacki;奥利维尔·丹维 6 2006 关于定界连续的静态和动态范围。 Zbl 1101.68442号 Dariusz Biernacki;奥利维尔·丹维;Shan，Chung-Chieh公司 5 2006 CPS层次结构中分隔延续的操作基础。 Zbl 1125.68050号 马·戈扎塔·比尔纳卡;Dariusz Biernacki;奥利维尔，丹维 14 2005 关于定界连续的动态范围。 Zbl 1191.68157号 Dariusz Biernacki;奥利维尔·丹维;Shan，Chung-Chieh公司 三 2005 通过非功能化从解释器到逻辑引擎。 Zbl 1099.68546号 Dariusz Biernacki;奥利维尔·丹维 7 2004 所有引用出版物 前5名被引用出版物 全部的 前5名49位作者引用 9 Dariusz Biernacki 7 奥利维尔·丹维 5 朗格莱，塞尔盖伊 4 马·戈扎塔·比尔纳卡 4 彼得·波列修克 三 浅井，肯尼奇 三 戴维·桑吉奥吉 2 聪，又有 2 石雄，恰基 2 雅各布·约翰森 2 Damien Pous 2 Shan、Chung-chieh 1 Ager，Mads Sig公司 1 罗伯特·艾奇 1 蒂鲍特·巴拉邦斯基 1 Brachthäuser，乔纳森·伊曼纽尔 1 马西耶·巴斯卡 1 维托尔德·查拉托尼克 1 阿德里安·杜里埃 1 Dyvbig，R.Kent 1 丹尼尔·希勒斯特罗姆 1 丹尼尔·赫希科夫 1 卡霍本田 1 吉勒姆·贾伯 1 Yukiyoshi县Kameyama 1 安托万·兰科 1 萨姆·林德利 1 龙，欢 1 Jean-Marie，马迪奥 1 科尔·马丁罗西安 1 马雷克·马特佐克 1 纪尧姆·梅尔金德 1 Midtgaard，一月 1 凯文·米利金 1 安德烈·穆拉夫斯基。 1 布鲁诺·C·d·S·奥利维拉。 1 克劳斯·奥斯特曼 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 阿穆尔·萨布里 1 汤姆·施里杰弗斯 1 菲利普·舒斯特 1 Sivaramakrishnan，K.C。 1 埃希罗·苏米 1 菲利普·李·沃德勒 1 徐，西安 1 雅芝、太极 1 尹、强 1 张文波 1 卡拉·杰琳斯卡 全部的 前5名8篇连载文章中引用 5 计算机科学中的逻辑方法 三 理论计算机科学 三 函数编程杂志 2 计算的形式方面 2 高阶和符号计算 1 信息处理信件 1 计算机与系统科学杂志 1 计算机程序设计科学 在2个字段中引用 32 计算机科学（68至XX） 10 数理逻辑与基础（03-XX） 按年份列出的引文